1. 1cad1e5 driver/acpi to /driver/gfx: Rename Makefiles from .inc to .mk by Martin Roth · 7 months ago[Renamed from src/drivers/efi/Makefile.inc]
  2. f43132e drivers/efi: Fix linker error when SMM phase uses option API by Benjamin Doron · 1 year, 4 months ago
  3. 1ab8ad6 drivers/efi: Add EFI variable store option support by Patrick Rudolph · 3 years, 4 months ago