Jörg Thalheim dd73406a92 installer: switch to systemd-boot ... grub is not able to boot from the disks that we flash for weird reasons. Since BIOS-boot is on life-support, we may as well just use systemd-boot.		2024-03-07 14:13:11 +01:00
..
default.nix	installer: switch to systemd-boot	2024-03-07 14:13:11 +01:00