1. 529ab88 lib/efi: Add support for reading an FDT by Nikos Nikoleris · 1 year, 7 months ago
  2. b4e8c30 x86 UEFI: Refactor set up process by Zixuan Wang · 3 years, 2 months ago
  3. f20589d x86 UEFI: Set up RSDP after UEFI boot up by Zixuan Wang · 3 years, 3 months ago
  4. 1ae9072 x86 UEFI: Set up memory allocator by Zixuan Wang · 3 years, 3 months ago
  5. ad5fb88 x86 UEFI: Boot from UEFI by Zixuan Wang · 3 years, 3 months ago