Search
Results
Jari Operating System | Jari OS
[http://jarios.org/] - - public:megatux
Jari OS is a real-time microkernel operating system which runs in terms of multi-service architecture. Core system consists of its own microkernel μString, core and system services, set of device drivers launched as trusted services.
Codezero Community Website/start
Home page — Genode Operating System Framework
Miray Software -µnOS
Prex - Embedded Real-Time Operating System
Sartoris Microkernel
kwiki . Kaneton . WebHome
IoL4
[http://www.iol4.com/] - - public:megatux
oL4 is a small OS containing the Io programing language on top of the L4 microkernel. It runs the IoVM as a single server in kernel level, allowing direct hardware access and independence from having a full blown operating system and userland.