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?

--