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