—SEC. 06 — Microkernel
Microkernel
— SEC. 01
Listings
Listings
All links in this category.
Showing 1–2 of 2 editor-approved links.
Microkernel
Phoenix-RTOS
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.
Added May 10, 2026
Microkernel
Prex
prex.sourceforge.net
Portable, small, realtime microkernel 32-bit OS for embedded systems, coded in C, POSIX emulation layer. Open source, BSD.
Added May 10, 2026