This section details the state that the CPU should be in for the x86 BKI.
The BootConf
structure pointer is pushed onto the stack
before calling the microkernel entry-point.
Interrupts must be disabled.
The processor must be in protected mode, and all the segments must cover the entire address space.
Translation must be disabled.