Search
Results
Codezero Community Website/start
Home page — Genode Operating System Framework
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.