UEFI-Paging Tunring on paging in the 32-bit UEFI, Page Fault interrupt handler To compile use EDK II project. http://www.tianocore.org/edk2/