Microkernel Realtime Operating Systems
Microkernel Realtime Operating Systems
This category is for only realtime operating systems (RTOSs) which main trait is that they have microkernel architectures. Monolithic kernels (most RTOSs) go elsewhere.
On this page, OSs are arranged in two groups and levels: 1) Top group: OSs for which there are more than one instance of an OS of this name/type, an OS family. 2) Bottom group: specific OSs, individual instances; there is only one OS of this name/type.
Top: Computers: Software: Operating Systems: Realtime: Microkernel
See Also:
-
PikeOS - 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.
-
Phoenix-RTOS - Growing article, with links to many related topics. Wikipedia.
-
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.
-
Spring Operating System - Growing article, with links to many related topics. Wikipedia.
-
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]
-
Prex - Portable, small, realtime microkernel 32-bit OS for embedded systems, coded in C, POSIX emulation layer. Open source, BSD.
-
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. [
-
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
-
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
-
Sphere SP - A modular RTOS suitable for embedded systems, scalable from tiny stand-alone microkernel up to full client/server OS, supports different processors.
Click here to add, change or remove your listing
|