configs/releng/profiledef.sh: change UEFI boot loader from GRUB to systemd-boot
While using GRUB as the UEFI boot loader has reduced the size of the ISO, it has brought nothing but pain otherwise:
- We cannot use
gfxterm
since it is not visible on some hardware. - GRUB has a a strange and nonsensical limitation where the EFI binary
can be built with either support for shim or custom Secure Boot key
support, but not both. This means you cannot repack the ISO to use
shim + MOK since we currently use
--disable-shim-lock
to provide support for setups with custom keys. - GRUB's EFI binary needs to be built with
grub-mkstandalone
instead of there being a ready made EFI binary in the package. This requires having grub installed on the host system which affects reproducibility.
This increases the size of the ISO since systemd-boot cannot boot files
from other volumes, i.e. the kernel and initramfs is duplicated in the
EFI system partition (the second partition made from efiboot.img
).
Implements #227 (closed)