yabs.io

Yet Another Bookmarks Service

Search

Results

[http://jarios.org/] - - public:megatux
embedded, kernel, microkernel, os, realtime - 5 | id:227141 -

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.

[http://www.iol4.com/] - - public:megatux
io, l4, microkernel, os - 4 | id:228956 -

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.

Follow Tags


Export:

JSONXMLRSS