XPDS14 - Xen in EFI World - Daniel Kiper, Oracle
UEFI Specification v2.5
2_4_Errata_A
UEFI 2 3 1 Errata C Final
UEFI_2.4_0.pdf