25 May
2012
25 May
'12
9:40 a.m.
Hello Naveen,
On Fri, May 25, 2012 at 12:38:06PM +0530, naveen chaubey wrote:
I'm getting error.
[...]
cp: cannot stat `bin/nic_drv': No such file or directory
It seems the l4linux run scripts depends on network support and so a NIC driver. As you're building for x86, you should enable the dde_ipxe repository in your etc/build.conf file. But first (as always with new repositories), please run 'make prepare' in genode/dde_ipxe.
HTH
--
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