I'm developing a 32-bit operating system on an IA-32 system (emulator: Bochs). I'm trying to implement a graceful shutdown procedure with ACPI. On the OSDev Wiki, it says that it can either be found in the Extended BIOS Data Area (EBDA), or from 0xE0000 to 0xFFFFF. I want to know if there is some way to know for sure if it is in one of these areas or not.
Another question is that do I have to access the EBDA before going into protected mode? I'm not sure whether my ISR code overwrote that part.
I wrote this graceful shutdown in assembly on my hobby o/s a couple of years ago and glad to have come across your post because it forced me to re-visit the entire related codes & refresh my memory...