I second what Norman said. By the way, Norman (or anyone else who can answer), does RPi networking work on Genode yet?

On Wed, May 20, 2015 at 6:09 PM, Norman Feske <norman.feske@...1...> wrote:
Hi Pirmin,

On 05/20/2015 06:41 PM, Duss Pirmin wrote:
> To control this SPI, I2C and GPIO are needed.
>
> Are there already drivers for this interfaces? Otherwise I would be
> willing to implement this drivers and resource multiplexers.

there are no drivers for these devices on Genode yet. Of course, it
would be very cool if you decide to change that. ;-)

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

------------------------------------------------------------------------------
One dashboard for servers and applications across Physical-Virtual-Cloud
Widest out-of-the-box monitoring support with 50+ applications
Performance metrics, stats and reports that give you Actionable Insights
Deep dive visibility with transaction tracing using APM Insight.
http://ad.doubleclick.net/ddm/clk/290420510;117567292;y
_______________________________________________
genode-main mailing list
genode-main@...12...ceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main