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. |
||
---|---|---|
.. | ||
default.nix |
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. |
||
---|---|---|
.. | ||
default.nix |