Our experience with Fiasco.OC + Genode on the Pandaboard

Norman Feske norman.feske at genode-labs.com
Mon Nov 26 08:40:44 CET 2012

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:


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.

Best regards

Dr.-Ing. Norman Feske
Genode Labs

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

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

More information about the l4-hackers mailing list