Codezero Community Website/start [http://www.l4dev.org/doku.php/news] - 2009-06-19 19:48:34 - public:megatux l4, microkernel, os - 3 | id:227149 -
Home page — Genode Operating System Framework [http://genode.org/] - 2008-08-14 18:53:17 - public:megatux kernel, l4, microkernel, opensource, os - 5 | id:227516 -
osFree - Building an opensource OS/2 clone [http://www.osfree.org/index.php] - 2006-10-16 13:45:04 - public:megatux l4, OpenSource, os - 3 | id:228403 -
TUD:OS - TU Dresden Operating Systems [http://demo.tudos.org/eng_about.html] - 2006-03-13 17:29:11 - public:megatux kernel, l4, os - 3 | id:228880 -
IoL4 [http://www.iol4.com/] - 2006-02-07 16:11:25 - 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.
