Our experience with Fiasco.OC + Genode on the Pandaboard

Julian Stecklina jsteckli at os.inf.tu-dresden.de
Mon Nov 26 13:16:46 CET 2012

Thus spake Norman Feske <norman.feske at genode-labs.com>:

> Dear L4 hackers,
> for those of you who enjoy reading experience reports, we have put
> together an article that describes our work with enabling the Genode OS
> Framework on the Pandaboard using the Fiasco.OC kernel:
>   http://genode.org/documentation/articles/pandaboard
> With the new developed driver support for SD-card, USB, networking, and
> HDMI in place, we have become able to run a wide variety of Genode
> system scenarios including the GNU userland, Qt4, GDB, and L4Linux on
> this nice platform. In addition to creating and porting device drivers,
> we conducted extensive performance optimizations in order to reach an
> I/O performance that is roughly on par with native Linux. The article
> describes those steps in detail.

This is amazing! Can you estimate how many man-months you needed to get
this done?


More information about the l4-hackers mailing list