Web Directory

» An Overview of the Spring System
   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 multipr
   http://research.sun.com/features/tenyears/volcd/papers/mitchell.htm

» ERIKA Enterprise
   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.
   http://www.evidence.eu.com/content/view/24/45/

» Phoenix-RTOS
   Growing article, with links to many related topics. Wikipedia.
   http://en.wikipedia.org/wiki/Phoenix-RTOS

» Prex
   Portable, small, realtime microkernel 32-bit OS for embedded systems, coded in C, POSIX emulation layer. Open source, BSD.
   http://prex.sourceforge.net/

» Real-Time Mach NTT
   Another version of Real-Time Mach, by NTT Laboratories. Contains RT-Mach kernel, FreeBSD 2.2.8 server, real-time shell, RT-Java, Hurd loader. Getting Started section: readme, release notes, installation, hardware, compatibility, troubles questions and ans
   http://info.isl.ntt.co.jp/rtmach/

» Sphere SP
   A modular RTOS suitable for embedded systems, scalable from tiny stand-alone microkernel up to full client/server OS, supports different processors.
   http://www.miray.de/products/spheresp.html

» Spring Operating System
   Growing article, with links to many related topics. Wikipedia.
   http://en.wikipedia.org/wiki/Spring_(operating_system)

» rtmk
   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]
   http://rtmk.sourceforge.net/