Raspberry Pi Prospects and/or Alternative
norman.feske at ...1...
Mon Jan 26 20:51:13 CET 2015
> There seems to be Raspberry Pi support in the Genode base-hw kernel. To
> what extent is this (non)functional? Can someone estimate how much
> effort it would take to make the NIC work?
the Raspberry Pi support of base-hw comprises UART, HDMI output, USB HID
support, and networking. I also started working on an SD-card driver,
but that one remained unfinished as of now:
In short, it is actually quite useful. My kids are regularly playing
games using Genode running on the Raspberry Pi. ;-)
Dr.-Ing. Norman Feske
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 users