A host tool for constructing EFI ESP partitions.
make-efi -target efi.blk -size $((63*1024*1024)) -offset 0 -kernel zircon.bin -ramdisk ramdisk.bin -efi-bootloader bootx64.efi -mkfs mkfs-msdosfs
Notes:
dst=src\n
formats and all files will be added. This is most useful for targets that require extra files, such as arm targets with extra firmware.