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@...12...ceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main