A new bootable USB solution.

The Reliable USB Formatting Utility

hekate - A GUI based Nintendo Switch Bootloader

A True Instrumentable Binary Emulation Framework

EDK II

Armbian Linux build framework generates custom Debian or Ubuntu image for x86, aarch64, riscv64 & armhf

A Tiny Linux-Compatible Kernel

A PowerShell script to download Windows or UEFI Shell ISOs

Windows boot logo changer for UEFI systems

A stunningly clean theme for the rEFInd UEFI boot manager.

Disable PatchGuard and Driver Signature Enforcement at boot time

Modern, advanced, portable, multiprotocol bootloader.

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.

Create multiboot live Linux on a USB disk...

💻 🔒 🔑 Secure Boot key manager

Resizable BAR for (almost) any UEFI system

Rust wrapper for UEFI.

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.

The materials of "Hypervisor 101 in Rust", a one-day long course, to quickly learn hardware-assisted virtualization technology and its application for high-performance fuzzing on Intel/AMD processors.