@MargaretBloom Ah. So it's stored in memory reserved for the BIOS (well, for ACPI), and
copy_dsdt
just copies it to somewhere else as well? Neat. I might need to hook up a logic analyzer to the firmware and see if anything I do at runtime can cause the OS to re-read it. — forest Mar 22 at 10:28