Query

[Christian Helmuth]

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