Hello John, On Fri, Jul 01, 2016 at 05:20:57PM +0530, john stokes wrote: > [init -> nic_drv] Found: 00:03.0 8086:100e (rev 03) IRQ 0b > [init -> nic_drv] using driver 82540em > [init -> nic_drv] PCI BIOS has not enabled device 00:03.0! Updating PCI > command 0103->0107 > [init -> nic_drv] PCI device 00:03.0 latency timer is unreasonably low at > 0. Setting to 32. > [init -> nic_drv] bus_addr = febc0000 len = 20000 > [init -> nic_drv] snprintf not implemented > [init -> nic_drv] --- init callbacks > [init -> nic_drv] --- get MAC address 52:54:00:12:34:56
The nic_drv based on iPXE picks up a 82540em card which is Intel e1000. Did you run the scenario on your target hardware? You mentioned you don't have e1000 but rtl8169 in a previous posting. Or may your PC have multiple network cards? Greets -- Christian Helmuth Genode Labs http://www.genode-labs.com/ · http://genode.org/ https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth ------------------------------------------------------------------------------ Attend Shape: An AT&T Tech Expo July 15-16. Meet us at AT&T Park in San Francisco, CA to explore cutting-edge tech and listen to tech luminaries present their vision of the future. This family event has something for everyone, including kids. Get more information and register today. http://sdm.link/attshape _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main