Hi, This looks good to me, but it seems to be missing the bit to make objcopy work to make /EFI/ binaries (as opposed to e.g. windows PE binaries), which is something we definitely want. I'll follow up with a patch. -- Peter