A 64bit hobby operating system written in C++
Hobby simple kernel (x86-64) and bootloader (UEFI) written in C++.
Custom kernel and operating system made in C++
A port of CraftOS-PC for bare metal Raspberry Pi
NoOS (No Operating System) is an attempt unikernel framework for developing programs in C++ without OS.
RISC-V core virtual runtime written in C/C++ (Arduino platform) intended for ESP32-WROVER with PSRAM.
32-bit Operating System for target architecture i386 in C++20.
Add a description, image, and links to the os-dev topic page so that developers can more easily learn about it.
To associate your repository with the os-dev topic, visit your repo's landing page and select "manage topics."