# short-description: Create an EFI disk image with grub-efi
# long-description: Creates a partitioned EFI disk image that the user
# can directly dd to boot media. The selected bootloader is grub-efi.

part /boot --source enea-bootimg-efi --sourceparams="loader=grub-efi" --ondisk vda --fstype=vfat --label EFI --active --align 1024

part / --source rootfs --ondisk vda --fstype=ext4 --label platform --align 1024

bootloader --ptable gpt --timeout=10 --append="rootfstype=ext4 console=ttyAMA0,115200 console=tty0 coherent_pool=16M"