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....
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.
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, HA...
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...
A free real time operating system suitable for embedded platforms. Runs on several microprocessors and microcontrollers, ranging from 8 bits to 32 bits and on personal computers.
Realtime microkernel: preemptive, fully re-entrant, multithreaded, SMP, continuations, full locking primitives; shares many ideas with Mach, developed by CMU in late 1980's, early 1990's, stopped in 1994. [GPL]
Also Sol_OS; goals: realtime, coded in 32-bit ASM, fast, very simple, small, cooperative multitasking, programs have full hardware control, modern OOP GUI, suitable for desktop targets. Open source, GPL.
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]