Growing article, with links to many related topics. Wikipedia.

Growing article, with links to many related topics. Wikipedia.

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...

Portable, small, realtime microkernel 32-bit OS for embedded systems, coded in C, POSIX emulation layer. Open source, BSD.

Goals: develop free, portable, small, well-designed RTOS for embedded hardware platforms: SBC (Single Board Computers), SOM (System on Module), SoC (System on Chip). Free.

A modular RTOS suitable for embedded systems, scalable from tiny stand-alone microkernel up to full client/server OS, supports different processors.

Embedded RTOS for single and multi-core uses, small size, supports advanced scheduling mechanisms for stack size reduction on multiprocessor chip systems. Commercial. Evidence S.r.l.

Uses virtualization to protect software investment long-term; implements multiple software partitions on one CPU, strictly separated, each partition can run full OS such as Linux, POSIX, OSEK, or programs. Sysgo AG; Mainz, Germany.

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. [Open Source, GPL]

Description of realtime microkernel and integrated environment, designed and implemented to support/provide predictability, guarantees (on-line dynamic, atomic), end-to-end scheduling, resource reservations; supports call/task admission model; and mul...