On 01/31/17 19:17, Michael S. Tsirkin wrote: > On Tue, Jan 31, 2017 at 05:28:57PM +0100, Laszlo Ersek wrote: >> The ACPI 6.1 spec says, >> >> - DSDT: [...] If the X_DSDT field contains a non-zero value then this >> field must be zero. >> - X_DSDT: [...] If the DSDT field contains a non-zero value then this >> field must be zero. > > But that's only 6.1. 6.0 and earlier did not say this. > The errata they wanted to address was: > 1393 In FADT: if X_DSDT field is non-zero, DSDT > field should be ignored or deprecated > > I would class this as a spec bug. >
Process-wise, that's not a bad idea; it could be the only way (or the best way) to argue for a corresponding change in edk2's EFI_ACPI_TABLE_PROTOCOL implementation (MdeModulePkg/Universal/Acpi/AcpiTableDxe). Do you want to raise this on the ASWG list? I vaguely recall that you subscribed; if not, I think you should be able to, as a Red Hatter <http://members.uefi.org/kmembership_info/person_signup/>. (I'd like to avoid being the middle man.) Hm... It seems that the "Adopter Membership" is free, which could be appropriate for individual observers: http://uefi.org/join http://members.uefi.org/home/ (Should Phil consider it.) Thanks Laszlo