Raspberry Pi Prospects and/or Alternative

[Nobody III]

Two things I would be very much interested in (after SD card support) are
GPIO and camera support. Any progress on those?

On Mon, Jan 26, 2015 at 7:51 PM, Norman Feske <norman.feske at ...1...>
wrote:

> Hi Jeroen,
>
> > 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?
>
> the Raspberry Pi support of base-hw comprises UART, HDMI output, USB HID
> support, and networking. I also started working on an SD-card driver,
> but that one remained unfinished as of now:
>
>   https://github.com/nfeske/genode/commits/rpi_usb
>
> In short, it is actually quite useful. My kids are regularly playing
> games using Genode running on the Raspberry Pi. ;-)
>
> Cheers
> Norman
>
> --
> Dr.-Ing. Norman Feske
> Genode Labs
>
> http://www.genode-labs.com · http://genode.org
>
> Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
> Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
>
>
> ------------------------------------------------------------------------------
> 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
> genode-main at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20150126/09c8b4b7/attachment.html>