# short-description: Create an EFI disk image with systemd-boot and corei7-64/core2-32
# long-description: Creates a partitioned EFI disk image that the user
# can directly dd to boot media. The selected bootloader is systemd-boot.
# This disk image is meant to be used by corei7-64/core2-32 and core-image-tiny-initramfs

part /boot --source bootimg-efi --sourceparams="loader=systemd-boot,initrd=core-image-tiny-initramfs-${MACHINE}.cpio.gz" --ondisk sda --label msdos --active --align 1024

bootloader --ptable gpt --timeout=5 --append="init=/bin/busybox sh init console=ttyS0,115200 console=tty0 rw LABEL=boot debugshell=5"

# Some devices require different console parameters, the console parameter can be given repeatedly, input is taken
# only from the last listed console, for example on the Minnowboard MAX, the previously listed setting  would show 
# a login prompt on its video output and not on the serial terminal.
#
# See http://www.tldp.org/HOWTO/Remote-Serial-Console-HOWTO/configure-kernel.html
