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.
A new bootable USB solution.
The Reliable USB Formatting Utility
hekate - A GUI based Nintendo Switch Bootloader
A True Instrumentable Binary Emulation Framework
Armbian Linux build framework generates custom Debian or Ubuntu image for x86, aarch64, riscv64 & armhf
A PowerShell script to download Windows or UEFI Shell ISOs
🖥 Windows Bootable USB creator for macOS. 🛠 Patches Windows 11 to bypass TPM and Secure Boot requirements. 👾 UEFI & Legacy Support
A Tiny Linux-Compatible Kernel
Modern, advanced, portable, multiprotocol bootloader and boot manager.
A stunningly clean theme for the rEFInd UEFI boot manager.
💻 🔒 🔑 Secure Boot key manager
Minimal Linux Live (MLL) is a tiny educational Linux distribution, which is designed to be built from scratch by using a collection of automated shell scripts. Minimal Linux Live offers a core environment with just the Linux kernel, GNU C library, and Busybox userland utilities.
Raspberry Pi 4 UEFI Firmware Images
Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such as long mode, 5-level paging, and SMP (multicore), to name a few.