1. e1ccbbc efi: dmi: add support for SMBIOS 3.0 UEFI configuration table by Ard Biesheuvel · 10 years ago
  2. 342cd34 xen/efi: Directly include needed headers by Daniel Kiper · 10 years ago
  3. be81c8a xen: Put EFI machinery in place by Daniel Kiper · 10 years ago