On 1 October 2015 at 13:35, Laszlo Ersek <ler...@redhat.com> wrote: > On 10/01/15 14:22, Gabriel L. Somlo wrote: >> I'm noticing that even on 32-bit arm there are ACPI tables generated and >> inserted into fw_cfg, so is there any reason OTHER than lack of firmware >> support for ACPI not being supported on 32-bit arm ?
This is mostly just that we didn't bother to suppress them for 32-bit boots, though they're useless there. > I think Ard was speaking about the guest kernel (his pointer certainly > looks like a kernel repo). With regard to firmware, edk2's > ArmVirtPkg/ArmVirtQemu.dsc builds just fine for 32-bit ARM guests. > > So, it's not a QEMU or guest firmware problem; I think it's a guest > kernel problem. Only if you think ACPI support is a requirement. It's not for 32-bit; there's no compelling reason to implement it there. thanks -- PMM
