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@...187.....) (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.