> Subject: RE: Building for Raspberry Pi Ubuntu
> From: christian.helmuth@...1...
> Date: Sat, 30 Nov 2013 12:50:49 +0100
> To: genode-main@lists.sourceforge.net
>
> Hi,
>
> Seems you're missing the driver for RPi's NIC since such a driver is AFAIK not part of our repos. BTW dde_ipxe is only enabled for x86 platforms with PCI networking hardware.
>
> Greets
> --
> Christian Helmuth
> Genode Labs
>
> http://www.genode-labs.com/ · http://genode.org/ · /ˈdʒiː.nəʊd/
>
> Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
> Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
>
> ------------------------------------------------------------------------------
> Rapidly troubleshoot problems before they affect your business. Most IT
> organizations don't have a clear picture of how application performance
> affects their revenue. With AppDynamics, you get 100% visibility into your
> Java,.NET, & PHP application. Start your 15-day FREE TRIAL of AppDynamics Pro!
> http://pubads.g.doubleclick.net/gampad/clk?id=84349351&iu=/4140/ostg.clktrk
> _______________________________________________
> Genode-main mailing list
> Genode-main@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main