Microkernel

E.R.I.K.A.

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

23 visits Apr 8, 2024 Details

ERIKA Enterprise

evidence.eu.com

A commercial realtime system with minimal footprint that supports advanced scheduling mechanisms for stack size reduction on multiprocessor-on-a-chip systems.

221 visits Oct 28, 2024 Details

Real-Time Mach NTT

info.isl.ntt.co.jp

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. Site has fine 'Getting Started' sectio…

198 visits May 1, 2024 Details

rtmk

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 …

220 visits Mar 25, 2026 Details

Sphere SP

miray.de

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

50 visits Dec 27, 2025 Details

Spring Project

none.cs.umass.edu

Realtime microkernel and integrated environment, designed and implemented to support/provide predictability, guarantees (on-line dynamic, atomic), end-to-end scheduling, resource r…

245 visits Apr 4, 2025 Details