Genode OS Framework  Genode OS Framework is a tool kit for
creating component-based operating systems. It allows the
combination of various different OS kernels with a growing set
of device drivers, protocol stacks, runtime environments, and
applications. In contrast to commodity operating systems, Genode
is designed such that critical components do not need to rely on
an overly complex system foundation. At the same time, less
critical components are able to leverage sophisticated and
complex software stacks such as Qt4 or even instances of
virtualized Linux kernels.  Learn more about How Genode came to
the Pandaboard...  Theme provided by Danetsoft under GPL license
from Danang Probo Sayekti