On 12/6/18 5:49 PM, Paolo Bonzini wrote: > On 06/12/18 23:34, Boris Ostrovsky wrote: >> On 12/6/18 5:11 PM, Paolo Bonzini wrote: >> >>> and also >>> >>> depends on !EFI >>> >>> because even though in principle it would be possible to write a PVH >>> loader for UEFI, PVH's start info does not support the EFI handover >>> protocol. >> But we should be able to build the binary with both EFI and PVH? > Can you? It's a completely different binary format, the EFI handover > protocol is invoked via a special entry point and needs the Linux header > format, not ELF. Right, but I think it is desirable to be able to build both from the same config file. -boris
