Our experience with Fiasco.OC + Genode on the Pandaboard

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.

Best regards
Norman

-- 
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