A simple template for building a Limine-compliant kernel in C.
0BSD License
Acess2 Hobby Operating System
"Das U-Boot" Source Tree
Modern, advanced, portable, multiprotocol bootloader.
Bare bone kernel from tutorial http://wiki.osdev.org/
Nintento Entertainment Kernel: Nintendo emulator
Simple x86 Operating System Kernel running in 32-bit protected mode that implements process manag...
A tiny C header-only risc-v emulator.
A hobby OS with a custom kernel and userspace, with many ported software including musl libc, SDL...
LK embedded kernel