Hi Ben,
Two things I would be very much interested in (after SD card support) are GPIO and camera support. Any progress on those?
don't wait for it, go for it!
In your prior postings, you stated that you have no experience with developing device drivers. Well, creating a GPIO driver for the Raspberry Pi would be the *perfect* way to change that:
* You apparently have an application in mind, which provides you with the right incentive.
* The device is relatively simple. So you won't get overwhelmed.
* There is a huge body of public information about this particular topic (using GPIOs on the Raspberry Pi) available.
* Others like Jeroen may appreciate your work.
* Within Genode's source tree, there exist GPIO drivers for other platforms that you may take as reference.
All it takes is the willingness to learn and to get your hands dirty with programming.
Regards Norman