Linux distribution made specifically to run Docker containers
Free real-time operating system designed for microcontrollers
Free cooperative operating system designed for microcontrollers
RTOS for Secure, Safe and Real-Time Systems
LuninuxOS is a Debian/Ubuntu based Linux distribution.
Auto-Case converts your mistake into perfection!
Real-Time Embedded Operating System
Open-source RTOS and Embedded Systems Toolkit for C++ and C
A Tiny Linux-Compatible Kernel
Tiny Alien - Micro Serving on a Shoestring
An open source Identity & Access Management solution with AD-functions
A personal database of your books on various media
Lorena es un sistema operativo escrito en C, C++ y Ensamblador.
replicated-kernel Linux-based OS
Run Linux on Windows or other OSes, natively.
Lightweight operating system using Node.js as userspace
LinuxTLE (Revival)
Wayland/QtQuick based OS with incremental updates and bundles