Directory of Microkernel Resources

Home > Computers > Software > Operating Systems > Realtime > Microkernel

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.

Subcategories

• ChorusOS
• EROS
• L4
• Nucleus
• QNX
• Symbian
• VxWorks

Resources in This Category

• Helium Real-Time Kernel

  http://helium.sourceforge.net/
  Real-time embedded operating system for eight-bit MCUs.

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

• Phoenix-RTOS

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

• Prex

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

• 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]

• Spring Operating System

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

Related Categories

• Home > Computers > Software > Operating Systems > Submicrokernel
• Home > Computers > Software > Operating Systems > Microkernel

 

Home > Computers > Software > Operating Systems > Realtime > Microkernel

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us