3 ms·
I have a hard time making NixOS work on my Rockpro64s. Installer ISO boots fine through TOW-boot UEFI but installed system never boots. The github projects to p
by irusensei 2y ago
I have a hard time making NixOS work on my Rockpro64s. Installer ISO boots fine through TOW-boot UEFI but installed system never boots. The github projects to produce images don’t actually work for current version (something related to what’s available in hydra aparently) and even if I use the old versions as soon as I update the kernel it breaks. It simply doesn’t boot.
Meanwhile Fedora 40 installs like a champ from the default aarch64 iso with just a warning about EFI variables (which is expected since tow-boot is not really providing a complete uefi environment).
I suspect it’s probably some voodoo formula to manage the device trees. Those github flakes to generate imsges are pulling an entire root tarball from hydra so I’m assuming there is something done there that is not obvious.
- rcarmo 2y agoIf you're using random ARM boards (even well known ones), the way I've found most useful (since I seldom use them as desktops anyway) is to install a minimal Armbian (or similar, with barely anything besides the networks stack) and use LXC/LXD - https://taoofmac.com/space/blog/2024/07/18/0900 https://taoofmac.com/space/blog/2024/07/18/0900
- irusensei 2y agoI tried systemd-nspawn which is similar but NixOS will complain about sandboxing if run from any kind of container layer. Fedora 40 works for me without any workarounds. It runs on a very recent 6.9x kernel with bcachefs and everything so at this point I’d rather just install nix on top of it.
- rcarmo 2y agoYou need to have the particular configuration I have on my post: imports = [ <nixpkgs/nixos/modules/virtualisation/lxc-container.nix> ]; boot.isContainer = true;
- rcarmo 2y agoI've since gone and figured out how to do it on Proxmox as well after lunchtime: https://taoofmac.com/space/blog/2024/08/17/1530 https://taoofmac.com/space/blog/2024/08/17/1530
- exe34 2y agocan you use gui stuff that way? X/Wayland?
- rcarmo 2y agoWell, I use xrdp almost as a rule, but theoretically you _could_ map the hardware devices and run them from the container--I've seen it done before.
- exe34 2y agoincidentally, I had trouble running webots on a virtual x server, but plugging in a fake hdmi monitor allows it to work fine over vnc.
- rekado 2y agoI'm using Guix System on my rockpro64. I patched uboot to allow it to boot via SATA. (One of the patches I needed was to ignore a spurious CPU reset while enumerating SATA devices.)
- Jhsto 2y agoI fixed my device tree problems on NixOS by PXE-booting the RPi4, so I get to handle the dtbs using a TFTP server: https://discussion.fedoraproject.org/t/fedora-coreos-device-tree-and-aarch64/33434/4?u=juuso https://discussion.fedoraproject.org/t/fedora-coreos-device-... For NixOS specific instructions, see https://juuso.dev/blogPosts/ipxe-rpi4/ipxe-nixos-edk2-uefi-bios-and-raspberry-pi-4.html https://juuso.dev/blogPosts/ipxe-rpi4/ipxe-nixos-edk2-uefi-b... Disclaimer is that nowadays I moved on from ARM (at least for non-UEFI systems), because I feel like working with the preboot environments is just not worth the hassle if you need to reliably boot remote servers.
- irusensei 2y agoFor the record I just got it working with https://github.com/Mic92/nixos-aarch64-images/commit/04092fc9a95aa1c61db52c1a2fe39685d66dcfa2 https://github.com/Mic92/nixos-aarch64-images/commit/04092fc... and making sure the tow-boot version is up to date.