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
------------------------------------------------------------------------------
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
[email protected]
https://lists.sourceforge.net/lists/listinfo/genode-main
