Hey y’all. Just realized NixOS has “support” for the RPi 4, and have devised a plan as to what my board’s fate will be - nixification.
Until, of course, it didn’t work.
I followed the configuration.nix on the RPi4 wiki page, but am now given the following error:
Waiting for device /dev/disk/by-label/NIXOS_SD to appear... * lots of irrelevant logs here about xhci_hcd and usb 1-1.3 * Timed out waiting for device /dev/disk/by-label/NIXOS_SD, trying to mount anyway. An error occured in stage 1 of the boot process, which must mount the root filesystem on `/mnt-root` and then start stage 2. Press one of the following keys: r) to reboot immediately *) to ignore the error and continue
After some research, it seems like others have had a similar error even on non-RPi devices - but a lot of the time, they get a few more options: namely, to enter an interactive shell, in which you can just mount /mnt-root yourself and carry on with your day/boot process/evil plan for your nixification.
Unfortunately, I don’t have these options. What makes this even funnier is that when I do try to press
r for reboot, nothing happens at all - the key isn’t echoed into stdout, and the device stays exactly how it is. A few seconds ago I was typing away with this keyboard plugged directly into the Pi, but now it seems to not see it.
Thanks for the help in advance, I’d really like to proceed with my evil plan of Pi nixification.