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
Thus spake Norman Feske <norman.feske@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
Hi Julian,
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?
thanks. :-) We have been working on the topic since May with varying members of our team. E.g. Stefan did most of the L4Linux and Fiasco.OC-specific work, Sebastian was focused on USB and networking, I was responsible for SD-card and HDMI whereas Martin supported the HDMI topic as well. That said, we have constantly discussed our steps within the team. It was great to explore the platform together. I cannot be specific about the number of man months because the work described in the article is just a sub set of the work we did during that time. Cheers 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
participants (2)
-
Julian Stecklina -
Norman Feske