Nilsen Elektronikk AS Makes 2 very small, open source realtime OSs for embedded systems, written in C: proc Real-Time Kernel, preemptive, mature; nesos Finite State Machine Operating System (FSMOS), modular, use concurrent programming methods in little time and space. Also: nemon Boot and Debug Monitor; Embedded Web Servers.
Roadrunner One-user, general purpose OS built on a protected memory, POSIX threads RT kernel; full kernel, device drivers, file systems, and network protocols runs in about 200 K RAM; now runs on x86 CPUs but designed for easy portability. [GPL]
CarbonKernel RTOS simulator based on event-driven simulation methods with concurrent target debugging abilities, mimics OS behavior, to implement and test embedded software on workstations. Descriptions, downloads, documents. [Savannah, Open Source, GPL]
RET & COM Research Makes RadiOS, Radiant Operating System; realtime, multitasking, multiuser, for i386+, written in all assembly in NASM. Goal: create OS that combines all advantages of OS/2 and Unix; ftp downloads. [Public Domain]
Katix Realtime OS (Katix RTOS) and Katix Embedded Linux (Black Cat Linux). [Open source]
NicheTask A multitasking embedded operating system with a proven track record, expressly designed for embedded devices with limited resources.
E.R.I.K.A. Microkernel RTOSs and set of integrated tools to develop embedded realtime applications, made to support all architectures used in power train controllers in automotive industry. Kernels have 2 main layers: Kernel Layer, Hardware Abstraction Layer, HAL. [Open Source, GPL]
RTMX, Inc. Makes RTMX O/S: IEEE POSIX realtime extensions to OpenBSD, with vendor specific ports for embedded, dedicated systems, application specific Internet/intranet servers. Many fine features. North Carolina, USA.
S.Ha.R.K. Dynamic configurable kernel architecture to support hard/soft/non realtime use with interchangeable scheduling algorithms: fully modular in scheduling policies, aperiodic servers, concurrency control protocols; all not modular in most traditional OSs. Derived from HARTIK: HArd Real TIme Kernel. [GPL]