26 Jan
2015
26 Jan
'15
5:22 p.m.
Hi,
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?
Alternatively, can someone recommend a similarly priced/specced board that has 20+ GPIO pins and on which Genode supports the NIC?
Thanks, -Slim
--
Jeroen "Slim" van Gelderen