Thanks Christian, looks like I'm going to have to start digging into RPi's drivers. Should be able to avoid dde_ipxe in that case. Thanks again CheersNick
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.clk... _______________________________________________ Genode-main mailing list Genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main