1. c98ce6e Rename --target-efi to --[enable|disable]-efi by Alexandru Elisei · 2 years, 10 months ago
  2. 4143d8a x86 UEFI: Load IDT after UEFI boot up by Zixuan Wang · 3 years, 3 months ago
  3. ad5fb88 x86 UEFI: Boot from UEFI by Zixuan Wang · 3 years, 3 months ago
  4. 8715af8 x86 UEFI: Copy code from GNU-EFI by Zixuan Wang · 3 years, 3 months ago