Szymon Kłos has created UEFI-Paging, a new project on Github, which “turns on paging in the 32-bit UEFI, Page Fault interrupt handler.” Not much documentation, a 1-line readme (in quotes in last sentence); Paging.c has the help for the interactive commands:
help – show help
write – write bytes to memory {hex}
read – read bytes from memory
map – map logical address
notpresent – set pae as not present
exit
Tunring on paging in the 32-bit UEFI, Page Fault interrupt handler
https://github.com/eszkadev/UEFI-Paging/blob/master/Paging.c
Firmware Security 