Hi Jeroen,

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

  https://github.com/nfeske/genode/commits/rpi_usb

In short, it is actually quite useful. My kids are regularly playing
games using Genode running on the Raspberry Pi. ;-)

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

------------------------------------------------------------------------------
Dive into the World of Parallel Programming. The Go Parallel Website,
sponsored by Intel and developed in partnership with Slashdot Media, is your
hub for all things parallel software development, from weekly thought
leadership blogs to news, videos, case studies, tutorials and more. Take a
look and join the conversation now. http://goparallel.sourceforge.net/
_______________________________________________
genode-main mailing list
genode-main@...12...ceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main