i think the four lines of pci may be causing problem .kinldy help me
Genode 16.05
int main(): --- create local services ---
int main(): --- start init ---
int main(): transferred 110 MB to init
int main(): --- init created, waiting for exit condition ---
[init] parent provides
[init]   service "ROM"
[init]   service "RAM"
[init]   service "IRQ"
[init]   service "IO_MEM"
[init]   service "IO_PORT"
[init]   service "PD"
[init]   service "RM"
[init]   service "CPU"
[init]   service "LOG"
[init] child "timer"
[init]   RAM quota:  913408
[init]   ELF binary: timer
[init]   priority:   0
[init]   provides service Timer
[init] child "test-lwip_httpsrv"
[init]   RAM quota:  5107712
[init]   ELF binary: test-lwip_httpsrv
[init]   priority:   0
Quota exceeded! amount=65536, size=4096, consumed=65536
[init] child "acpi_drv"
[init]   RAM quota:  1961984
[init]   ELF binary: acpi_drv
[init]   priority:   0
Quota exceeded! amount=81920, size=4096, consumed=81920
[init] child "acpi_report_rom"
[init]   RAM quota:  1961984
[init]   ELF binary: report_rom
[init]   priority:   0
[init]   provides service ROM
[init]   provides service Report
Quota exceeded! amount=98304, size=4096, consumed=98304
[init] child "platform_drv"
[init]   RAM quota:  4059136
[init]   ELF binary: platform_drv
[init]   priority:   0
[init]   provides service Platform
Quota exceeded! amount=114688, size=4096, consumed=114688
[init] child "nic_drv"
[init]   RAM quota:  4059136
[init]   ELF binary: nic_drv
[init]   priority:   0
[init]   provides service Nic
[init] child "acpi_report_rom" announces service "Report"
[init] child "acpi_report_rom" announces service "ROM"
[init -> nic_drv] --- iPXE NIC driver started ---
[init -> nic_drv] --- init iPXE NIC
[init] child "timer" announces service "Timer"
[init -> acpi_drv] void Acpi_table::_parse_tables(T*, Genode::uint32_t) [with T = unsigned int; Genode::uint32_t = unsigned int]: Found MADT
[init -> acpi_drv] MADT IRQ 0 -> GSI 2 flags: 0
[init -> acpi_drv] MADT IRQ 5 -> GSI 5 flags: d
[init -> acpi_drv] MADT IRQ 9 -> GSI 9 flags: d
[init -> acpi_drv] MADT IRQ 10 -> GSI 10 flags: d
[init -> acpi_drv] MADT IRQ 11 -> GSI 11 flags: d
[init] child "platform_drv" announces service "Platform"
[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 -> platform_drv] Could not open ROM session for module "device_pd"
[init -> platform_drv] PCI device protection domain for IOMMU support is not available
[init -> platform_drv] IRQ override 11->11 trigger mode=LEVEL polarity=HIGH
[init -> platform_drv] 0:3.0 uses IRQ, vector 0xb, non-maskable
[init -> nic_drv]     number of devices: 1
[init] child "nic_drv" announces service "Nic"
[init -> nic_drv] --- init callbacks
[init -> nic_drv] --- get MAC address 52:54:00:12:34:56
[init -> test-lwip_httpsrv] Create new socket ...
[init -> test-lwip_httpsrv] Now, I will bind ...
[init -> test-lwip_httpsrv] Now, I will listen ...
[init -> test-lwip_httpsrv] Start the server loop ...
[init -> test-lwip_httpsrv] got IP address 10.0.2.15
http server is up, try to query website http://localhost:5555/
response:
                        Welcome to our lwIP HTTP server!

   This is a small test page.

Run script execution successful.