UPDATE: Turns out, I googled the wrong thing/keywords. There is a helpful answer on StackOverflow. It was surprisingly difficult to programmatically start a long-running command via SSH in background and disconnect the SSH session immediately. So, in case you need help, here’s how I did it. The final solution is Read more…
For various reasons, such as OS development, it is convenient to quickly start up an instance of QEMU or Cloud Hypervisor with a custom kernel and initrd. However, often the major struggle is to get some kernel and some initrd, i.e., the boot items, quickly and easily. Scope Foremost, this Read more…
Recently, I’ve bought a TP-Link Archer TX20U Nano WiFi USB dongle (vendor website) for my desktop PC. The driver for Windows is provided by the stick itself, as it exposes a storage volume with the Windows driver on it. On Linux, the Windows driver doesn’t work, of course. However, with Read more…
Problem and Motivation For a Linux-based demo setup, I need certain side effects and corresponding cleanup steps every time the system boots or relevant system configuration changes. I’m using NixOS, and systemd is the easiest and most powerful way to manage setup tasks at system startup or on substantial system Read more…
In an earlier post, I talked about how you can build an out-of-tree Linux kernel module in a Nix derivation, i.e., package it in Nix. However, for quick prototyping, sometimes you want to just enter $ make in your shell, for example to check if everything compiles. Out-of-tree module projects Read more…
The other day, I was working on some udev rules to invoke a script when a USB device is added or removed from my machine. I needed the USB bus and USB port number to further process that event. I decided to use udev for that. However, getting the relevant Read more…