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
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
l4-hackers@os.inf.tu-dresden.de
-
Julian Stecklina -
Norman Feske