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