uefi-boot

A Tiny Linux-Compatible Kernel

iPXE network bootloader

A Proof-of-Concept bootkit and UEFI boot application inspired by Petya ransomware, written in Assembly, C, and C++

A UEFI 64bit Bootloader

UEFI ELF Bootloader example

Simple UEFI Boot Manager

MD5 checksum validation for UEFI

The Reliable USB Formatting Utility - Legacy OS Builds.

RADII is a UEFI bootloader for the x86_64 architecture. It is made with the goal of understanding how modern desktop computers work, from hardware to radio buttons :^)

Select which local O/S to boot by asking a network server

jOS UEFI bootable 64 bit kernel

[工作原因，已不再进行开发] x64架构操作系统项目，支持UEFI、APIC、多核激活、基于Windows的内存管理方案等

An small, hobbyist-grade x86 operating system which uses Multiboot2 with the GRUB bootloader.

SimpleOS2 is a very simple x86_64 OS I am creating for learning purposes.

A simple UEFI OS loader to load a kernel.

An educational Secure Boot and Kernel Integrity Verification system demonstrating chain of trust, kernel signing, and protection against boot-level attacks using SHA-256 and RSA-2048.

A simple, modern, 64 bit operating system.

TURNSTONE: The fUnny opeRatiNg SysTem Of uNivErse

An opeating system booted via UEFI.

Origami is a x86_64 UEFI bootloader and boot protocol/specification meant for hobbist kernels