UEFI
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.
Here are 15 public repositories matching this topic...
Example/template hello world using Nyu-EFI.
-
Updated
Dec 15, 2024 - Makefile
A prebuilt Linux system use UEFI and f2fs for RaspberryPi 3B, RaspberryPi 3B+, RaspberryPi 4B
-
Updated
Apr 13, 2020 - Makefile
The RISC-V Server Platform specification defines a standardized set of hardware and sofware capabilities, that portable system software, such as operating systems and hypervisors, can rely on being present in a RISC-V server platform.
-
Updated
Feb 19, 2025 - Makefile
OVMF UEFI firmware for Proxmox VE with added support for IGD passthrough with output to external displays (VFIO's `x-igd-opregion=on`), as well as the ability to boot macOS virtual machines.
-
Updated
Oct 5, 2019 - Makefile
An x86-64 EFI-compatible Linux system on a 3½-inch floppy disk.
-
Updated
May 26, 2024 - Makefile
Own fork for personal use. For your own use, please directly fork the upstream repo
-
Updated
Feb 28, 2022 - Makefile