Raspberry Pi Prospects and/or Alternative

[Jeroen "Slim" van Gelderen]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20150126/33ba8854/attachment.html>