Announcement: Genode OS Framework on Pistachio

We have made the port of the Genode OS Framework to L4ka::Pistachio
publicly available.

Genode is a new OS architecture that leverages a strict organizational
process structure and is thereby able to align dynamic application
workload with low TCB complexity. A high-level overview about the
architecture is provided at our website:

  http://genode.org
  http://genode.org/home-page/documentation/general-overview

The Genode OS Framework is the reference implementation of Genode. It
is developed by Genode Labs, a small company founded in May this year
by two former members of the TU Dresden OS group.

For a quick test of Genode on Pistachio, we have compiled a small (3MB)
ISO image:

  http://genode.org/genode-2008-12.iso

You can try out this image via qemu ('qemu -cdrom genode-2008-12.iso').
It features our default demonstration scenario including several
graphical applications and native device drivers for VESA and PS/2
input. Because our experience with using Pistachio was overly positive
so far, we plan to make the Pistachio support a regular part of the
Genode distribution with the next release scheduled for February.

If you like to look a bit deeper into Genode, the following website
provides you with Pistachio-specific information about building and
starting Genode:

  http://genode.org/community/wiki/GenodeOnL4kaPistachio

Thank you for your great work on Pistachio!

Best regards
-- 
Norman Feske
Genode Labs

http://www.genode-labs.com · http://genode.org