A GUI based Nintendo Switch Bootloader
OpenCore bootloader
Annotated Unix system source code
Boot macOS, Windows, and Linux on Mac or PC with UEFI or BIOS firmware
Hobby operating system, bootloader, kernel, drivers, C library
Windows Bootable USB creator for macOS
Stand-alone memory tester for x86 and x86-64 architecture computers
CoolPotOS for ia32 / amd64
Software Update for Embedded Systems
Open source flash program for STM32 using the ST serial bootloader
Bootloader for STM32, XMC, HCS12 and other microcontroller targets.
It's a personal microkernel project designed as a learning ground.
Serial Bootloader for Microchip, Atmel, NXP, TI, 8051 microcontrolers
Arduino core for ATtiny 1634, 828, x313, x4, x41, x5, x61, x7 and x8
Haiway Edge Computing OS
A Tiny Linux-Compatible Kernel
AquilaOS: UNIX-like Operating System
Pinguino packages
Run Linux on the Playstation 2
The extensible bootloader for embedded system
The U-boot project provides firmware for ADI's processors
A command-line programmer for Atmel USB microcontrollers