Our experience with Fiasco.OC + Genode on the Pandaboard

[Julian Stecklina]

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?

Julian