There are 2 repositories under toy-os topic.
The SalernOS Kernel is a core component of the SalernOS Operating System - A toy OS to learn more about Operating System Development
A basic operating system kernel and bootloader designed for educational purposes
Toy bootloader, operating system and graphical application for a birthday surprise in just 12 KiB.