8fc0f4c675
where the RSD PTR can actually occur. According to section 5.2.2 of the ACPI spec, we only consider two regions for the base address: 1. EBDA (0x0 - 0x3FF) 2. High memory (0xE0000 - 0xFFFFF) I don't know whether this fixes any actual problems but is more correct. |
||
---|---|---|
.. | ||
acpiconf | ||
acpidb | ||
acpidump | ||
iasl | ||
Makefile | ||
Makefile.inc |