XMK is a preemptive multitasking kernel for microcontrollers. Its goal is to provide a RTOS small enough (RAM+ROM) to run on 8bit microcontrollers. XMK provides additional/optional features when scaling up to 16bit and 32bit platforms.
MinopsOS is a tiny operating system for PC computers.
MinopsOS is a tiny operating system for PC computers. It's small enough to fit inside the boot sector of a floppy disk.
A special-purpose 4.4BSD-based UNIX-like operating system, designed for machine control applications. Using low-cost hardware, FabBSD can be used to control a wide array of CNC milling machines, lathes, routers, process-control and automation equipment.
A FOSS operating system that aims to meet NSA's TPEP TCB A1 evaluation standard while retaining application compatibility at minimal performance overhead.