Hi, I'm trying to "improve understanding" between OVMF and qemu-kvm.
edk2's "OvmfPkg/AcpiTables/Platform.h" specifies GPE0_BLK at 0x40C, while qemu's "hw/acpi_piix4.c" expects the guest to access it at 0xAFE0. Which macro should be modified to get them in sync? (SeaBIOS's "src/acpi.c" #defines PIIX4_GPE0_BLK as 0xafe0 as well.) Or should this setting be communicated via fw_cfg too (not yet in OVMF as far as I know)? Thank you, Laszlo
