'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.

System root repository for the Ghost operating system project.

Ghost, a micro-kernel based hobby operating system.

Genode OS Framework

A portable microkernel-based multiserver operating system written from scratch.

Official MINIX sources - Automatically replicated from gerrit.minix3.org

Breathing new live in Helios, an OS from the 90's

Phantom: Persistent Operating System

RIOT - The friendly OS for IoT

Mirror of the official Barrelfish OS repository.

Nano-Kernel project developed for my advanced operating systems course.

Build script for AsteroidOS, an open-source operating system for smartwatches