UEFI topic
The Unified Extensible Firmware Interface (UEFI) is a publicly available specification that defines a software interface between an operating system and platform firmware. UEFI replaces the legacy Basic Input/Output System (BIOS) boot firmware originally present in all IBM PC-compatible personal computers, with most UEFI firmware implementations providing support for legacy BIOS services. UEFI can support remote diagnostics and repair of computers, even with no operating system installed.
daintree
[mirror] ARMv8-A/RISC-V kernel (with UEFI bootloader)
bootnext
Windows tray icon to set the EFI BootNext variable.
artix-installer
A simple installer for Artix Linux
HelloAmdHvPkg
HelloAmdHvPkg is a type-1 research hypervisor for AMD processors.