Building for Raspberry Pi Ubuntu

[Christian Helmuth]

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