  |
PikeOS - http://www.sysgo.com/products/pikeos-technology/
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. |
| |
An Overview of the Spring System - http://research.sun.com/features/tenyears/volcd/papers/mitchell.htm
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 multiprocessors. Proceedings of Compcon. |
| |
Spring Operating System - http://en.wikipedia.org/wiki/Spring_(operating_system)
Growing article, with links to many related topics. Wikipedia. |
| |
Phoenix-RTOS - http://en.wikipedia.org/wiki/Phoenix-RTOS
Growing article, with links to many related topics. Wikipedia. |
| |
E.R.I.K.A. - http://erika.sssup.it/
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] |
| |
Phoenix-RTOS - http://www.phoenix-rtos.org/
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. |
| |
Sphere SP - http://www.miray.de/products/spheresp.html
A modular RTOS suitable for embedded systems, scalable from tiny stand-alone microkernel up to full client/server OS, supports different processors. |
| |
rtmk - http://rtmk.sourceforge.net/
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] |
| |
Prex - http://prex.sourceforge.net/
Portable, small, realtime microkernel 32-bit OS for embedded systems, coded in C, POSIX emulation layer. Open source, BSD. |
| |
ERIKA Enterprise - http://www.evidence.eu.com/content/view/24/45/
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. |