A Tiny Linux-Compatible Kernel
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 :^)
The Reliable USB Formatting Utility - Legacy OS Builds.
SimpleOS2 is a very simple x86_64 OS I am creating for learning purposes.
The r3dacted USB Formatting Utility
Origami is a x86_64 UEFI bootloader and boot protocol/specification meant for hobbist kernels
TURNSTONE: The fUnny opeRatiNg SysTem Of uNivErse
This is an operating system with an UEFI-compliant bootloader and a kernel writen in C++
An small x86 Operating System which uses multiboot2 and the grub bootloader.
Add a description, image, and links to the uefi-boot topic page so that developers can more easily learn about it.
To associate your repository with the uefi-boot topic, visit your repo's landing page and select "manage topics."