On 10/01/15 14:39, Peter Maydell wrote: > 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.
Oh, certainly. I was speaking with that working assumption (based on how Gabriel asked his question); I wasn't trying to state that assumption as a fact. Sorry about the misunderstanding. Thanks Laszlo > It's not for 32-bit; > there's no compelling reason to implement it there. > > thanks > -- PMM >
