# short-description: Create a Galileo Gen 1/2 disk image (SD card) # long-description: Creates a partitioned EFI disk image for Intel Galileo Gen 1/2 # boards that the user can directly dd to an SD card and boot. part /boot --source bootimg-efi --sourceparams="loader=systemd-boot" --ondisk mmcblk0 --label msdos --active --align 1024 part / --source rootfs --ondisk mmcblk0 --fstype=ext3 --label platform --align 1024 --use-uuid bootloader --timeout=1 --append="rootwait console=ttyS1,115200n8 earlycon=uart8250,mmio32,0x9000b000,115200n8 reboot=efi,warm apic=debug rw LABEL=boot debugshell=5"