On 07/12/18 00:11, Boris Ostrovsky wrote: > 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. Ah, "make bzImage" and use the vmlinux for PVH, because PVH fetches the entry point from the special note. That's clever. :) I don't see why it should not work, and if so the "depends on !EFI" is indeed unnecessary. Paolo
