Hi, I want to run l4inux on my PC, I copied the files needed in the harddisk and modified the GRUB menu.lst .But I got a issue when the system started.

int main(): [33m--- create local services --- [0m int main(): [33m--- start init --- [0m int main(): [33mtransferred 1718 MB to init [0m int main(): [33m--- init created, waiting for exit condition --- [0m [init] [31mCould not open file "ld.lib.so" [0m [init -> l4linux] [32mBooting L4Linux ... [0m [init -> l4linux] [34;1m======> L4Linux starting... <======== [0m [init -> l4linux] Linux version 3.5.0-l4+ (wangyuqing@...186...) (gcc version 4.7.2 (GCC) ) #36 SMP Wed Apr 3 10:54:04 CST 2013 [init -> l4linux] Binary name: vmlinux [init -> nic_drv] --- iPXE NIC driver started --- [init -> l4linux] Linux kernel command line (5 args): mem=64M console=ttyS0 l4x_rd=initrd.gz l4x_cpus=2 l4x_cpus_map=0,1 [init -> l4linux] CPU mapping (l:p)[2]: 0:0, 1:1 [init -> l4linux] Image: 00401000 - 00839000 [4320 KiB]. [init -> l4linux] Areas: Text: 00401000 - 00742000 [3332kB] (a bit longer) [init -> l4linux] Data: 00742000 - 00764ea4 [139kB] [init -> pci_drv] PCI driver started [init -> l4linux] Initdata: 0077b000 - 007a2000 [156kB] [init -> uart_drv] --- i8250 UART driver started --- [init -> l4linux] BSS: 007a2000 - 00829000 [540kB] [init -> l4linux] [34ml4util_cpu_capabilities: Not implemented yet! [0m [init -> l4linux] gs=43 fs=43 [init -> l4linux] [34ml4io_get_root_device: Not implemented yet! [0m [init -> l4linux] Device scan: [init -> l4linux] [34ml4io_iterate_devices: Not implemented yet! [0m [init -> l4linux] Device scan done. [init -> l4linux] l4x_fiasco_gdt_entry_offset = 9 [init -> vesa_drv] int Framebuffer_drv::map_io_mem(Genode::addr_t, Genode::size_t, bool, void**, Genode::addr_t, Genode::Dataspace_capability*): [33mfb mapped to 1092000 [0m [init] [31muart_drv: illegal announcement of service "Uart" [0m [init -> ps2_drv] Using keyboard with scan code set 2. [init -> pci_drv] [31mCould not open file "pci_device_pd" [0m [init -> pci_drv] [34mPCI device protection domain for IOMMU support is not available [0m [init -> timer] [33margs='label="l4linux", ram_quota=4096' [0m [init -> pci_drv] [31mCould not open file "config" [0m [init -> pci_drv] [31mCould not obtain config file [0m [init -> pci_drv] [31mPCI config space data could not be parsed. [0m [init -> l4linux] main thread will be f [init -> l4linux] l4x_register_pointer_section: addr = 00400000 size = 4427776 [init -> l4linux] section-with-init: virt: 400000 to 838fff [4324 KiB] [init -> l4linux] [34mCannot determine physical address for dataspace Binary! [0m [init -> l4linux] error: failed to get physical address for 400000. [init -> l4linux] Main thread running, waiting... [init -> l4linux] thread=f000 cpu=0 [init -> l4linux] WARNING: Unknown wrmsr: 0000008b at 616221 [init -> l4linux] l4x_setup_memory: Forcing superpages for main memory [init -> l4linux] l4re_global_env: 0 [init -> l4linux] Main memory size: 64MB [34munmapping of managed dataspaces not yet supported [0m [init -> l4linux] Main memory: virt: 50000000 to 53ffffff [65536 KiB] [init -> l4linux] Main memory: Phys: 0x50000000 to 0x54000000, Size: 67108864 [init -> l4linux] Filling lower ptabs... [init -> l4linux] Done (0 entries). [init -> l4linux] l4x_register_pointer_section: addr = 00400000 size = 4427776 [init -> l4linux] text: virt: 400000 to 838fff [4324 KiB] [init -> l4linux] [34mCannot determine physical address for dataspace Binary! [0m [init -> l4linux] error: failed to get physical address for 400000. [init -> l4linux] l4x_rd_path: initrd.gz [init -> l4linux] Loading: initrd.gz [init -> l4linux] INITRD: Size of RAMdisk is 3608KiB [init -> l4linux] RAMdisk from 00a00000 to 00d86000 [3608KiB] [init -> uart_drv] [32mBaudrate is not defined. Use default 115200 [0m [init -> l4linux] l4timer: Using IRQ65 [init -> timer] [33margs='label="l4linux", ram_quota=4096' [0m [init -> l4linux] WARNING: Unknown wrmsr: 0000008b at 616221 [init -> l4linux] WARNING: Unknown rdmsr: 00000345 at 781629 [init -> l4linux] WARNING: Unknown rdmsr: 00000186 at 7809ef [init -> l4linux] WARNING: Unknown rdmsr: 00000187 at 7809ef [init -> l4linux] WARNING: Unknown wrmsr: 000000c1 at 780a70 [init -> l4linux] Launching cpu1 on pcpu 1 at 6145be [init -> timer] [33margs='label="l4linux", ram_quota=4096' [0m [34mQuota exceeded! amount=4096, size=4096, consumed=4096 [0m [init -> l4linux] [32mupgrading quota donation for SIGNAL session [0m [init -> l4linux] l4x_cpu_threads[1] = 44000a00 [init -> l4linux] thread=18000 cpu=1 [init -> l4linux] WARNING: Unknown wrmsr: 0000008b at 616221 [init -> vesa_drv] [31mCould not open file "config" [0m [init -> vesa_drv] [31mCould not obtain config file [0m [init -> vesa_drv] [34munexpected configuration address 0x54 [0m [init -> vesa_drv] [34munexpected configuration address 0x54 [0m [init -> vesa_drv] [34mrequested PCI resource 0x1 invalid [0m [init -> vesa_drv] [34munexpected configuration address 0x54 [0m [init -> vesa_drv] [34mrequested PCI resource 0x1 invalid [0m [init -> vesa_drv] [34munexpected configuration address 0x54 [0m [init -> vesa_drv] [34mrequested PCI resource 0x1 invalid [0m [init -> vesa_drv] [34munexpected configuration address 0x54 [0m [init -> vesa_drv] [34mrequested PCI resource 0x1 invalid [0m [init -> vesa_drv] [34munexpected configuration address 0x54 [0m [init -> vesa_drv] [34mrequested PCI resource 0x1 invalid [0m [init -> vesa_drv] [34munexpected configuration address 0x54 [0m [init -> vesa_drv] [34mrequested PCI resource 0x1 invalid [0m [init -> vesa_drv] [34munexpected configuration address 0x54 [0m [init -> vesa_drv] [34mrequested PCI resource 0x1 invalid [0m [init -> vesa_drv] [34munexpected configuration address 0x54 [0m [init -> vesa_drv] [34mrequested PCI resource 0x1 invalid [0m [init -> vesa_drv] [34munexpected configuration address 0x54 [0m [init -> vesa_drv] [34mrequested PCI resource 0x1 invalid [0m [init -> vesa_drv] Found: VESA BIOS version 3.0 [init -> vesa_drv] OEM: ATI ATOMBIOS [init -> vesa_drv] [34munexpected configuration address 0x54 [0m [init -> vesa_drv] [34mrequested PCI resource 0x1 invalid [0m [init -> vesa_drv] [34munexpected configuration address 0x54 [0m [init -> vesa_drv] [34munexpected configuration address 0x54 [0m [init -> vesa_drv] [34mrequested PCI resource 0x1 invalid [0m [init -> vesa_drv] Found: physical frame buffer at 0xc0000000 size: 0x01000000 [init -> vesa_drv] int Framebuffer_drv::map_io_mem(Genode::addr_t, Genode::size_t, bool, void**, Genode::addr_t, Genode::Dataspace_capability*): [33mfb mapped to 1400000 [0m [34mQuota exceeded! amount=4096, size=4096, consumed=4096 [0m [init -> nic_drv] [32mupgrading quota donation for SIGNAL session [0m [init -> nic_drv] [32m--- init iPXE NIC [0m [init -> timer] [33margs='label="nic_drv", ram_quota=4096' [0m [init -> nic_drv] scan_pci(): [36mFound: 02:00.0 14e4:169b (rev 02) IRQ 0b [0m [init -> nic_drv] probe_pci_device(): [36mno driver found [0m [init -> nic_drv] scan_pci(): [36mFound: 03:01.0 8086:107c (rev 05) IRQ 05 [0m [init -> nic_drv] probe_pci_device(): [36musing driver 82541pi [0m [init -> nic_drv] ioremap(): [36mbus_addr = dfac0000 len = 20000 [0m [init -> nic_drv] [35msnprintf not implemented [0m [init -> nic_drv] [32m number of devices: 1 [0m [init -> nic_drv] [32m--- init rx_callbacks [0m [init -> nic_drv] [32m--- get MAC address [0m [init -> nic_drv] [32m 00:0e:04:00:03:16 [0m [init -> nic_drv] [31mmemory allocation failed in alloc_memblock (size=2048, align=800, offset=0) [0m [init -> nic_drv] [31mmemory allocation failed in alloc_memblock (size=2048, align=800, offset=0) [0m [init -> nic_drv] [31mmemory allocation failed in alloc_memblock (size=2048, align=800, offset=0) [0m [init -> nic_drv] [31mmemory allocation failed in alloc_memblock (size=2048, align=800, offset=0) [0m [init -> nic_drv] [31mmemory allocation failed in alloc_memblock (size=2048, align=800, offset=0) [0m

The board of my PC is DELL OptiPlex 330. It has a broadcom Enthernet Card on board and a another intel 82541 Enthernet Card.