Terse information, more engineering notes than documentation, and links to sources can be found at: https://wiki.linaro.org/LEG/Engineering/Kernel/UEFI/RuntimeServices
Contains a few known bugs, and will need some fundamental discussions/reengineering, but lets us start experimenting.
/ Leif