Adding Gerd On 07/18/16 21:32, Marcel Apfelbaum wrote: > On 07/18/2016 08:52 PM, Laszlo Ersek wrote: >> On 07/18/16 15:34, Igor Mammedov wrote: >>> On Sun, 17 Jul 2016 19:53:09 +0300 >>> Marcel Apfelbaum <mar...@redhat.com> wrote: >>> >>>> Add an ivshmem device with 1G shared memory to >>>> pxb in order to check the ACPI code of 64bit MMIO allocation. >>> what is forcing ivshmem to be mapped above 4G? >> >> Speaking for OVMF: unlike SeaBIOS, the edk2 PCI bus driver prefers to >> map 64-bit BARs outside of 32-bit address space, regardless of how much >> room is left in the 32-bit MMIO aperture. > > Thanks Laszlo, we need to support make check with ovmf (not immediate, > of course). > There is no integration yet with QEMU, right? Having a set of binaries > like with SeaBIOS > makes sense?
Yes, it makes sense. > Are there any licensing issues? If QEMU can bundle 2-clause BSDL binaries, then there shouldn't be. For the legally inclined, it might be safest to review the *Pkg/License.txt files, for all the *Pkg top-level directories from which OVMF pulls in at least one module. Thanks Laszlo
