1 # short-description: Custom EFI disk image with systemd-boot
2 # long-description: Creates a partitioned EFI disk image that the user
3 # can directly dd to boot media. The selected bootloader is systemd-boot
4 # and we do not have swap. We assume a Joule system and provide an
5 # appropriate kernel command line.
7 part /boot --source bootimg-efi --sourceparams="loader=systemd-boot,initrd=microcode.cpio" --use-uuid --label msdos --active --align 1024
9 part / --source rootfs --fstype=ext4 --label platform --align 1024 --use-uuid
11 # Modify the append line here as needed to suit the environment
12 bootloader --ptable gpt --timeout=5 --append="rootwait rootfstype=ext4 console=ttyS2,115200n8 console=tty0 video=efifb maxcpus=4 noxsave reboot=efi kmemleak=off"