Re: l4linux GPU direct access

List overview All Threads
Download

newer

older

SATA AHCI driver head banging.

GHC on L4RE

Abhishek Gupta

18 Jul 2012 18 Jul '12

10:51 a.m.

Hi Adam,

My final objective is just to get the graphic acceleration working, so having the gpu initialized by fbdrv is perfectly fine but I can't find a working configuration.

What we have are two configs which work well separately (fbdrv and pci direct access) but we didn't understand yet how to combine them.

I can see the log messages from fbdrv of setting the vbe mode in fbdrv config(without mag) but when I combine fbdrv and pci direct access configs I cannot see any message from fbdrv.

Abhishek Gupta

Attachments:

attachment.html (text/html — 2.9 KB)

Show replies by date

Adam Lackorzynski

19 Jul 19 Jul

8:23 a.m.

New subject: l4linux GPU direct access

Hi,

On Wed Jul 18, 2012 at 10:51:46 +0200, Abhishek Gupta wrote:

...

My final objective is just to get the graphic acceleration working, so having the gpu initialized by fbdrv is perfectly fine but I can't find a working configuration.

What we have are two configs which work well separately (fbdrv and pci direct access) but we didn't understand yet how to combine them.

I can see the log messages from fbdrv of setting the vbe mode in fbdrv config(without mag) but when I combine fbdrv and pci direct access configs I cannot see any message from fbdrv.

What do you mean there's no message from fbdrv? Because the screen is switching modes, or because there's some issue? Are you using a serial console to not suffer from that (for kvm/QEMU: -serial stdio)?

Adam

-- Adam adam@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/

Abhishek Gupta

20 Jul 20 Jul

11 a.m.

New subject: l4linux GPU direct access

Hello Adam,

...

What do you mean there's no message from fbdrv? Because the screen is switching modes, or because there's some issue? Are you using a serial console to not suffer from that (for kvm/QEMU: -serial stdio)?

When I am using fb-drv config(without mag) with framebuffer driver enabled in l4linux. I can see the messages in console that ..... io | ASSIGNED: request_resource io | HERE1: request_resource io | HERE2: request_resource io | ASSIGNED: request_resource fb | Trying execution of ``set VBE mode'' using x86emu fb | Found VESA BIOS version 2.0 fb | OEM VGABIOS Cirrus extension l4linux | PH 1 (t: 1) offs=003dd000 vaddr=007dc000 vend=008fa000 l4linux | phys=007dc000 ephys=008fa000 l4linux | f_sz=00071000 memsz=0011e000 flgs=rw- ........ ........ l4linux | section-with-init: virt: 0x7dc000 to 0x8f9fff [1144 KiB] l4linux | section-with-init: Phys: 0x00a03000 to 0x00b21000, Size: 1171456 fb | VBE mode 0x117 successfully set. fb | Framebuffer memory: phys: fc000000 - fc400000 fb | virt: 400000 - 800000 fb | Starting server loop l4linux | l4x_linux_startup: thread 417. l4linux | Main thread running, waiting... .......... ..........

But When I combine PCI direct access config with fd-drv config there was no message from fb in console like before such as Trying execution of ``set VBE mode'' using x86emu VBE mode 0x117 successfully set etc..

But today I tried it again and it worked(there was a minor mistake in previous config). Now I can see fb log messages Successfully setting VBE mode. I enabled fb console and disabled vga console and then tried to run X with driver cirrus. But it didn't work.

fb-drv (the l4 process) and the cirrus driver are both contending for the same chunk of memory "0xa0000"!

But I can see that

cirrusfb 0000:00:01.0: No interrupt pin configured for device 0000:00:01.0 __l4x_ioremap: Mapping physaddr f2000000 [0x1000 Bytes, f2000000+001000] to 21c00000+000000 cirrusfb 0000:00:01.0: cannot reserve region 0xa0000, abort cirrusfb: probe of 0000:00:01.0 failed with error -16

We are assigning the device named "PNP0900" three times, initially to the fb-drv then two times to l4linux. (these two lines are actually the same: "vgadev => wrap(hw-root.VGA)" and "x2 => wrap(hw-root.match("PNP0900"))" ). The problem I think is that the device is really assigned only to fb-drv. I don't get how cirrus and fb-dev can both have access to that chunk of memory.

Below I have attached my config files and the complete log:

l4lx-x86-x2-pci.io ---

fbdrv => new System_bus() { PCI0 => new PCI_bus_ident() { host_bridge_dummy => new PCI_dummy_device();

pci_gfx[] => wrap(hw-root.match("PCI/CC_03")); }

x1 => wrap(hw-root.match("BIOS")); x2 => wrap(hw-root.match("PNP0900")); x3 => wrap(hw-root.match("PNP0100"));

}

l4linux => new System_bus() { vgadev => wrap(hw-root.VGA); ps2 => wrap(hw-root.PS2); bios => wrap(hw-root.BIOS);

PCI0 => new PCI_bus() { host_bridge_dummy => new PCI_dummy_device();

pci_gfx[] => wrap(hw-root.match("PCI/CC_03")); #pci_l4x[] => wrap(hw-root.match("PCI/CC_00,PCI/CC_02,PCI/CC_01,PCI/CC_04")); pci_l4x[] => wrap(hw-root.match("PCI/CC_01,PCI/CC_02")); }

}

linux-x2-pci.cfg ---

loader = L4.default_loader; local lxname = "vmlinuz"; vbus_l4linux = loader:new_channel(); vbus_fbdrv = loader:new_channel();

loader:start({ caps = { sigma0 = L4.cast(L4.Proto.Factory, L4.Env.sigma0):create(L4.Proto.Sigma0); icu = L4.Env.icu; l4linux = vbus_l4linux:svr(); fbdrv = vbus_fbdrv:svr(); }, log = { "io", "red" }, }, "rom/io -v -v -v -v rom/x86-legacy-min.devs rom/l4lx-x86-x2-pci.io");

fb = loader:new_channel(); loader:start({ caps = { fb = fb:svr(), vbus = vbus_fbdrv }, log = { "fb", "green" }, },"rom/fb-drv -m 0x117");

loader:start({ caps = { log = L4.Env.log:m("rws"); vbus = vbus_l4linux, fb = fb, }, l4re_dbg = L4.Dbg.Info, log = { "l4linux", "blue" },

--}, "rom/" .. lxname .. " vga=769 mem=800M earlyprintk=yes l4x_rd=rom/${DISK_IMG} root=1:0 ramdisk_size=400000");

}, "rom/" .. lxname .. " mem=400M console=ttyLv0 root=/dev/hda ");

-- vga=769 --}, "rom/" .. lxname .. " mem=120M earlyprintk=yes console=ttyLv0 initcall_debug=1 showpfexc=1 l4x_rd=rom/${DISK_IMG} root=1:0 ramdisk_size=400000","allow_cli","all_sects_writable","allow_vga");

kvm -vga std -m 1800 -k de -cdrom images/linux-x2-pci.iso -serial stdio -hda /opt/L4-GPU/images/squeezesmall-x.img Could not access KVM kernel module: No such file or directory failed to initialize KVM: No such file or directory Back to tcg accelerator.

L4 Bootstrapper Build: #2 Tue May 29 05:13:12 CEST 2012, x86-32, 4.6.3 RAM: 0000000000000000 - 000000000009f3ff: 637kB RAM: 0000000000100000 - 00000000707fcfff: 1842164kB Total RAM: 1799MB Moving 11 modules to 1100000 with offset ded000 moving module 11 { 14a3000-199d908 } -> { 2290000-278a908 } moving module 10 { 14a2000-14a2445 } -> { 228f000-228f445 } moving module 09 { 14a1000-14a14b1 } -> { 228e000-228e4b1 } moving module 08 { 1331000-14a0aa4 } -> { 211e000-228daa4 } moving module 07 { 93d000-13303e2 } -> { 172a000-211d3e2 } moving module 06 { 93c000-93c469 } -> { 1729000-1729469 } moving module 05 { 70e000-93bcda } -> { 14fb000-1728cda } moving module 04 { 5ea000-70d3b8 } -> { 13d7000-14fa3b8 } moving module 03 { 3ce000-5e9f9c } -> { 11bb000-13d6f9c } moving module 02 { 37a000-3cd31d } -> { 1167000-11ba31d } moving module 01 { 313000-379720 } -> { 1100000-1166720 } Scanning /fiasco -serial_esc Scanning /sigma0 Scanning /moe rom/linux-x2-pci.cfg Bootloader MMAP: [ 0, 9f400) RAM (1) [ 9f400, a0000) reserved (2) [ f0000, 100000) reserved (2) [ 100000, 707fd000) RAM (1) [ 707fd000, 70800000) reserved (2) [ fffc0000, 100000000) reserved (2) Relocated mbi to [0x2dd000-0x2dd199] Loading /fiasco Loading /sigma0 Loading /moe find kernel info page... found kernel info page at 0x400000 Regions of list regions [ 0, fff] { 1000} Arch BIOS [ 9f400, 9ffff] { c00} Arch BIOS [ f0000, fffff] { 10000} Arch BIOS [ 100000, 10b197] { b198} Sigma0 /sigma0 [ 140000, 18d23f] { 4d240} Root /moe [ 2d0000, 2e13e7] { 113e8} Boot bootstrap [ 2dd000, 2dd296] { 297} Root Multiboot info [ 300000, 38ffff] { 90000} Kern /fiasco [ 400000, 46bfff] { 6c000} Kern /fiasco [ 13d7000, 278a907] { 13b3908} Root Modules Memory [ 707fd000, 707fffff] { 3000} Arch BIOS [ fffc0000, ffffffff] { 40000} Arch BIOS API Version: (87) experimental Sigma0 config ip:001001dc sp:002dca50 Roottask config ip:001401c4 sp:00000000 Starting kernel /fiasco at 0030090c

Performance-critical config option(s) detected: CONFIG_NDEBUG is off

Superpages: yes Kmem:: cpu page at 703e2000 (4096Bytes) ACPI-Init ACPI: RSDP[0xfd9a0] r00 OEM:BOCHS. ACPI: RSDT[0x203fd7b0] r01 OEM:BOCHS. OEMTID:BXPCRSDT ACPI: FACP[0x203fff80] r01 OEM:BOCHS. OEMTID:BXPCFACP ACPI: SSDT[0x203fd910] r01 OEM:BOCHS. OEMTID:BXPCSSDT ACPI: APIC[0x203fd830] r01 OEM:BOCHS. OEMTID:BXPCAPIC ACPI: HPET[0x203fd7f0] r01 OEM:BOCHS. OEMTID:BXPCHPET IO-APIC: MADT = 0x203fd830 IO-APIC[ 0]: struct: 0x203fd864 adr=fec00000 IO-APIC[ 0]: pins 24 PIN[ 0m]: vector=20, del=0, dm=physical, dest=0 (high, edge) PIN[ 1m]: vector=21, del=0, dm=physical, dest=0 (high, edge) PIN[ 2m]: vector=22, del=0, dm=physical, dest=0 (high, edge) PIN[ 3m]: vector=23, del=0, dm=physical, dest=0 (high, edge) PIN[ 4m]: vector=24, del=0, dm=physical, dest=0 (high, edge) PIN[ 5m]: vector=25, del=0, dm=physical, dest=0 (high, edge) PIN[ 6m]: vector=26, del=0, dm=physical, dest=0 (high, edge) PIN[ 7m]: vector=27, del=0, dm=physical, dest=0 (high, edge) PIN[ 8m]: vector=28, del=0, dm=physical, dest=0 (high, edge) PIN[ 9m]: vector=29, del=0, dm=physical, dest=0 (high, edge) PIN[10m]: vector=2a, del=0, dm=physical, dest=0 (high, edge) PIN[11m]: vector=2b, del=0, dm=physical, dest=0 (high, edge) PIN[12m]: vector=2c, del=0, dm=physical, dest=0 (high, edge) PIN[13m]: vector=2d, del=0, dm=physical, dest=0 (high, edge) PIN[14m]: vector=2e, del=0, dm=physical, dest=0 (high, edge) PIN[15m]: vector=2f, del=0, dm=physical, dest=0 (high, edge) PIN[16m]: vector=30, del=0, dm=physical, dest=0 (high, edge) PIN[17m]: vector=31, del=0, dm=physical, dest=0 (high, edge) PIN[18m]: vector=32, del=0, dm=physical, dest=0 (high, edge) PIN[19m]: vector=33, del=0, dm=physical, dest=0 (high, edge) PIN[20m]: vector=34, del=0, dm=physical, dest=0 (high, edge) PIN[21m]: vector=35, del=0, dm=physical, dest=0 (high, edge) PIN[22m]: vector=36, del=0, dm=physical, dest=0 (high, edge) PIN[23m]: vector=37, del=0, dm=physical, dest=0 (high, edge) IO-APIC: dual 8259: yes IO-APIC: ovr[ 0] 00 -> 2 IO-APIC: ovr[ 1] 05 -> 5 IO-APIC: ovr[ 2] 09 -> 9 IO-APIC: ovr[ 3] 0a -> a IO-APIC: ovr[ 4] 0b -> b Allocate cpu_mem @ 0xfffe6000 Local APIC[00]: version=11 max_lvt=5 APIC ESR value before/after enabling: 00000000/00000000 Using the PIT (i8254) on IRQ 2 for scheduling SERIAL ESC: allocated IRQ 4 for serial uart SERIAL ESC: allocated IRQ 4 for serial uart Not using serial hack in slow timer handler. Absolute KIP Syscalls using: int 0x30 CPU[0:0]: AuthenticAMD (6:2:3:0)[00000623] Model: QEMU Virtual CPU version 1.0 at 1396 MHz

255/512 Entry I TLB (4K pages) 255 Entry I TLB (4M pages) 255/512 Entry D TLB (4K pages) 255 Entry D TLB (4M pages) 64 KB L1 I Cache (2-way associative, 64 bytes per line) 64 KB L1 D Cache (2-way associative, 64 bytes per line) 512 KB L2 U Cache (8-way associative, 64 bytes per line)

Freeing init code/data: 28672 bytes (7 pages)

Calibrating timer loop... done. SIGMA0: Hello! KIP @ 400000 Found Fiasco: KIP syscalls: yes allocated 4KB for maintenance structures SIGMA0: Dump of all resource maps RAM:------------------------ [0:1000;9efff] [0:10c000;13ffff] [4:140000;18dfff] [0:18e000;2dcfff] [4:2dd000;2ddfff] [0:2de000;3fffff] [0:465000;13d6fff] [4:13d7000;278afff] [0:278b000;6c7fffff] [0:70400000;707fcfff] IOMEM:---------------------- [0:0;fff] [0:9f000;fffff] [0:707fd000;febfffff] [0:fec01000;fedfffff] [0:fee01000;ffffffff] IO PORTS-------------------------- [0:0;fffffff] MOE: Hello world MOE: found 1760412 KByte free memory MOE: found RAM from 1000 to 707fd000 MOE: allocated 1799 KByte for the page array @0x465000 MOE: virtual user address space [0-bfffffff] MOE: rom name space cap -> [C:501000] BOOTFS: [13d7000-14fa3b8] [C:503000] l4re BOOTFS: [14fb000-1728cda] [C:504000] ned BOOTFS: [1729000-1729469] [C:505000] linux-x2-pci.cfg BOOTFS: [172a000-211d3e2] [C:506000] io BOOTFS: [211e000-228daa4] [C:507000] fb-drv BOOTFS: [228e000-228e4b1] [C:508000] x86-legacy-min.devs BOOTFS: [228f000-228f445] [C:509000] l4lx-x86-x2-pci.io BOOTFS: [2290000-278a908] [C:50a000] vmlinuz MOE: cmdline: /moe rom/linux-x2-pci.cfg MOE: Starting: rom/ned rom/linux-x2-pci.cfg MOE: loading 'rom/ned' Ned says: Hi World! Ned: loading file: 'rom/linux-x2-pci.cfg' io | ZZZ default cannot reserve. io | ZZZ default cannot reserve. io | ZZZ default cannot reserve. io | ZZZ default cannot reserve. io | ZZZ default cannot reserve. io | ZZZ default cannot reserve. io | ZZZ default cannot reserve. io | ZZZ default cannot reserve. io | ZZZ default cannot reserve. io | ZZZ default cannot reserve. io | ZZZ default cannot reserve. io | ZZZ default cannot reserve. io | ZZZ default cannot reserve. io | ZZZ default cannot reserve. io | ZZZ default cannot reserve. io | ZZZ default cannot reserve. io | ZZZ default cannot reserve. io | ZZZ default cannot reserve. io | ZZZ default cannot reserve. io | ZZZ default cannot reserve. io | ZZZ default cannot reserve. io | ZZZ default cannot reserve. io | ZZZ default cannot reserve. io | ZZZ default cannot reserve. io | ZZZ default cannot reserve. io | ZZZ default cannot reserve. io | ZZZ default cannot reserve. io | ZZZ default cannot reserve. io | ZZZ default cannot reserve. io | ZZZ default cannot reserve. io | ZZZ default cannot reserve. io | ZZZ default cannot reserve. io | ZZZ default cannot reserve. io | ZZZ default cannot reserve. io | Io service io | Verboseness level: 5 io | MARK: res_init io | ARCH REGION 00000000000000-00000000000fff (0f:00) io | new iomem region: p=0 v=400000 s=400000 (bmb=0x3240) io | map mem: p=0 v=400000 s=1000: done io | ARCH REGION 0000000009f400-0000000009ffff (0f:02) io | map mem: p=9f000 v=49f000 s=1000: done io | ARCH REGION 000000000f0000-000000000fffff (0f:02) io | map mem: p=f0000 v=4f0000 s=10000: done io | ARCH REGION 000000707fd000-000000707fffff (0f:02) io | new iomem region: p=70400000 v=800000 s=400000 (bmb=0x32e8) io | map mem: p=707fd000 v=bfd000 s=3000: done io | ARCH REGION 000000fffc0000-000000ffffffff (0f:02) io | new iomem region: p=ffc00000 v=c00000 s=400000 (bmb=0x3390) io | map mem: p=fffc0000 v=fc0000 s=40000: done io | unused physical memory space: io | [00000070800000-000000febfffff] io | [000000fec01000-000000fedfffff] io | [000000fee01000-000000fffbffff] io | Hello from L4-ACPICA io | Find root Pointer io | AcpiOsMapMemory(40e, 2) = 40040e io | AcpiOsMapMemory(9f400, 400) = 49f400 io | map mem: p=e0000 v=4e0000 s=10000: done io | AcpiOsMapMemory(e0000, 20000) = 4e0000 io | Find root Pointer: fd9a0 io | AcpiOsMapMemory(fd9a0, 24) = 4fd9a0 io | ACPI: RSDP 0xfd9a0 00014 (v00 BOCHS ) io | AcpiOsMapMemory(707fd7b0, 24) = bfd7b0 io | ACPI: RSDT 0x707fd7b0 00034 (v01 BOCHS BXPCRSDT 00000001 BXPC 00000001) io | AcpiOsMapMemory(707fd7b0, 34) = bfd7b0 io | AcpiOsMapMemory(707fff80, 24) = bfff80 io | ACPI: FACP 0x707fff80 00074 (v01 BOCHS BXPCFACP 00000001 BXPC 00000001) io | AcpiOsMapMemory(707fff80, 74) = bfff80 io | AcpiOsMapMemory(707fd9b0, 24) = bfd9b0 io | ACPI: DSDT 0x707fd9b0 02589 (v01 BXPC BXDSDT 00000001 INTL 20100528) io | AcpiOsMapMemory(707fff40, 24) = bfff40 io | ACPI: FACS 0x707fff40 00040 io | AcpiOsMapMemory(707fd910, 24) = bfd910 io | ACPI: SSDT 0x707fd910 0009E (v01 BOCHS BXPCSSDT 00000001 BXPC 00000001) io | AcpiOsMapMemory(707fd830, 24) = bfd830 io | ACPI: APIC 0x707fd830 00072 (v01 BOCHS BXPCAPIC 00000001 BXPC 00000001) io | AcpiOsMapMemory(707fd7f0, 24) = bfd7f0 io | ACPI: HPET 0x707fd7f0 00038 (v01 BOCHS BXPCHPET 00000001 BXPC 00000001) io | AcpiOsMapMemory(707fd9b0, 2589) = bfd9b0 io | Parsing all Control Methods: io | Table [DSDT](id 0001) - 383 Objects with 77 Devices 118 Methods 8 Regions io | AcpiOsMapMemory(707fd910, 9e) = bfd910 io | Parsing all Control Methods: io | Table [SSDT](id 0002) - 8 Objects with 0 Devices 4 Methods 0 Regions io | tbxface-0601 [02] TbLoadNamespace : ACPI Tables successfully acquired io | enable ACPI subsystem io | evxfevnt-0184 [02] Enable : Transition to ACPI mode successful io | AcpiOsMapMemory(707fff40, 40) = bfff40 io | evgpeblk-1129 [04] EvCreateGpeBlock : GPE 00 to 0F [_GPE] 2 regs on int 0x9 io | /opt/L4-GPU/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:57:AcpiOsInstallInterruptHandler: UNINPLEMENTED io | initialize ACPI objects io | Completing Region/Field/Buffer/Package initialization:..................... io | Initialized 8/8 Regions 0/0 Fields 8/8 Buffers 5/5 Packages (400 nodes) io | Initializing Device/Processor/Thermal objects by executing _INI methods: io | Executed 0 _INI methods requiring 0 _STA executions (examined 80 objects) io | evgpeblk-1234 [03] EvInitializeGpeBlock : Found 0 Wake, Enabled 16 Runtime GPEs in this block io | Interpreter enabled io | scanning for PCI root bridge io | Found PCI root bridge... io | Using IOAPIC for interrupt routing io | ACPI subsystem initialized io | ACPICA-Version:20091214, System in ACPI MODE, 32bit timer io | (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKS][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKB][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKC][0]) (dev[_SB_.LNKD][0]) (dev[_SB_.LNKA][0]) (dev[_SB_.LNKB][0]) ZZZ x; 0x16690 io | ZZZ x; 0x16658 io | first false io | WARNING: phys mmio resource allocation failed io | IOMEM * [000000000a0000-000000000bffff 20000] non-pref (32bit) (align=1ffff flags=c002) io | ZZZ x; 0x16658 io | first false io | WARNING: phys mmio resource allocation failed io | IOMEM * [000000000a0000-000000000bffff 20000] non-pref (32bit) (align=1ffff flags=c002) io | ZZZ x; 0x16500 io | WARNING: ignoring ACPI recource (unkown type: 1) io | Loading: config 'rom/x86-legacy-min.devs' io | ZZZ x; 0x1ac70 io | first false io | WARNING: phys mmio resource allocation failed io | IOMEM [000000000c0000-000000000fffff 40000] non-pref (32bit) (align=3ffff flags=c002) io | ZZZ x; 0x1ac70 io | first false io | WARNING: phys mmio resource allocation failed io | IOMEM [000000000c0000-000000000fffff 40000] non-pref (32bit) (align=3ffff flags=c002) io | ZZZ x; 0x1aa50 io | first false io | WARNING: phys mmio resource allocation failed io | IOMEM [0000000009f000-0000000009ffff 1000] non-pref (32bit) (align=fff flags=c002) io | ZZZ x; 0x1aa50 io | first false io | WARNING: phys mmio resource allocation failed io | IOMEM [0000000009f000-0000000009ffff 1000] non-pref (32bit) (align=fff flags=c002) io | ZZZ x; 0x1aa30 io | first false io | WARNING: phys mmio resource allocation failed io | IOMEM [00000000000000-00000000000fff 1000] non-pref (32bit) (align=fff flags=c002) io | ZZZ x; 0x1aa30 io | first false io | WARNING: phys mmio resource allocation failed io | IOMEM [00000000000000-00000000000fff 1000] non-pref (32bit) (align=fff flags=c002) io | ZZZ x; 0x1ab80 io | first false io | WARNING: phys mmio resource allocation failed io | IOMEM [000000000a0000-000000000bffff 20000] non-pref (32bit) (align=1ffff flags=8c002) io | ZZZ x; 0x1ab80 io | first false io | WARNING: phys mmio resource allocation failed io | IOMEM [000000000a0000-000000000bffff 20000] non-pref (32bit) (align=1ffff flags=8c002) io | Loading: config 'rom/l4lx-x86-x2-pci.io' io | WARNING: device 'S2__' already assigned to an other virtual bus. io | ZZZ assigning: S2__ io | ZZZ assigning: BIOS io | ZZZ assigning: VGA io | rom/l4lx-x86-x2-pci.io:12.28-36: warning: could not find 'PNP0100' io | WARNING: device 'VGA' already assigned to an other virtual bus. io | ZZZ assigning: VGA io | WARNING: device 'PS2' already assigned to an other virtual bus. io | ZZZ assigning: PS2 io | WARNING: device 'BIOS' already assigned to an other virtual bus. io | ZZZ assigning: BIOS io | WARNING: device 'S2__' already assigned to an other virtual bus. io | ZZZ assigning: S2__ io | ZZZ assigning: S3__ io | ZZZ assigning: io | Add IRQ resources to vbus: IRQ [0000000000000a-0000000000000a 1] rising edge (32bit) (align=0 flags=4001) io | Add IRQ resources to vbus: IRQ [0000000000000b-0000000000000b 1] rising edge (32bit) (align=0 flags=4001) io | Add IRQ resources to vbus: IRQ [0000000000000a-0000000000000a 1] rising edge (32bit) (align=0 flags=4001) io | Add IRQ resources to vbus: IRQ [0000000000000b-0000000000000b 1] rising edge (32bit) (align=0 flags=4001) io | Add IRQ resources to vbus: IRQ [00000000000001-00000000000001 1] rising edge (32bit) (align=0 flags=4001) io | Add IRQ resources to vbus: IRQ [0000000000000c-0000000000000c 1] rising edge (32bit) (align=0 flags=4001) io | Add IRQ resources to vbus: IRQ [0000000000000e-0000000000000e 1] rising edge (32bit) (align=0 flags=4001) io | Add IRQ resources to vbus: IRQ [0000000000000f-0000000000000f 1] rising edge (32bit) (align=0 flags=4001) io | ERROR: could not reserve resource io | IOPORT [0000000000c000-0000000000c0ff 100] non-pref (32bit) (align=ff flags=4a03) io | P6Device: fbdrv "" io | P6Device: PCI0 "PNP0A03" io | P6Device: host_bridge_dummy "" io | P6Device: pci_gfx[0000] "" io | IOMEM [000000fc000000-000000fdffffff 2000000] pref (32bit) (align=1ffffff flags=4e02) io | IOMEM [000000febf0000-000000febf0fff 1000] non-pref (32bit) (align=fff flags=4a02) io | P6Device: x1 "BIOS" io | IOMEM [00000000000000-00000000000fff 1000] non-pref (32bit) (align=fff flags=c002) io | IOMEM [0000000009f000-0000000009ffff 1000] non-pref (32bit) (align=fff flags=c002) io | IOMEM [000000000c0000-000000000fffff 40000] non-pref (32bit) (align=3ffff flags=c002) io | P6Device: x2 "PNP0900" io | IRQ [0000000000000a-0000000000000a 1] rising edge (32bit) (align=0 flags=4001) io | IRQ [0000000000000b-0000000000000b 1] rising edge (32bit) (align=0 flags=4001) io | IOPORT [00000000000000-00000000000fff 1000] non-pref (32bit) (align=fff flags=4003) io | IOPORT [0000000000c000-0000000000c00f 10] non-pref (32bit) (align=f flags=4003) io | IOMEM [000000000a0000-000000000bffff 20000] non-pref (32bit) (align=1ffff flags=8c002) io | P6Device: (noname) "L40009" io | P6Device: l4linux "" io | P6Device: vgadev "PNP0900" io | IRQ [0000000000000a-0000000000000a 1] rising edge (32bit) (align=0 flags=4001) io | IRQ [0000000000000b-0000000000000b 1] rising edge (32bit) (align=0 flags=4001) io | IOPORT [00000000000000-00000000000fff 1000] non-pref (32bit) (align=fff flags=4003) io | IOPORT [0000000000c000-0000000000c00f 10] non-pref (32bit) (align=f flags=4003) io | IOMEM [000000000a0000-000000000bffff 20000] non-pref (32bit) (align=1ffff flags=8c002) io | P6Device: ps2 "PNP0303" io | IRQ [00000000000001-00000000000001 1] rising edge (32bit) (align=0 flags=4001) io | IRQ [0000000000000c-0000000000000c 1] rising edge (32bit) (align=0 flags=4001) io | P6Device: bios "BIOS" io | IOMEM [00000000000000-00000000000fff 1000] non-pref (32bit) (align=fff flags=c002) io | IOMEM [0000000009f000-0000000009ffff 1000] non-pref (32bit) (align=fff flags=c002) io | IOMEM [000000000c0000-000000000fffff 40000] non-pref (32bit) (align=3ffff flags=c002) io | P6Device: PCI0 "PNP0A03" io | P6Device: host_bridge_dummy "" io | P6Device: pci_gfx[0000] "" io | IOMEM [000000fc000000-000000fdffffff 2000000] pref (32bit) (align=1ffffff flags=4e02) io | IOMEM [000000febf0000-000000febf0fff 1000] non-pref (32bit) (align=fff flags=4a02) io | P6Device: pci_l4x[0000] "" io | IOPORT [000000000001f0-000000000001f7 8] non-pref (32bit) (align=7 flags=4a03) io | IOPORT [000000000003f6-000000000003f6 1] non-pref (32bit) (align=0 flags=4a03) io | IRQ [0000000000000e-0000000000000e 1] rising edge (32bit) (align=0 flags=4001) io | IOPORT [00000000000170-00000000000177 8] non-pref (32bit) (align=7 flags=4a03) io | IOPORT [00000000000376-00000000000376 1] non-pref (32bit) (align=0 flags=4a03) io | IRQ [0000000000000f-0000000000000f 1] rising edge (32bit) (align=0 flags=4001) io | IOPORT [0000000000c100-0000000000c10f 10] non-pref (32bit) (align=f flags=4a03) io | P6Device: pci_l4x[0001] "" io | IRQ [0000000000000b-0000000000000b 1] level high (32bit) (align=0 flags=104201) io | IOPORT [0000000000c000-0000000000c0ff 100] non-pref (32bit) (align=ff flags=4b03) io | IOMEM [000000febf1000-000000febf10ff 100] non-pref (32bit) (align=ff flags=4a02) io | P6Device: (noname) "L40009" io | Real Hardware ----------------------------------- io | P6Device: System Bus "" io | Hw::Device[System Bus] io | P6Device: PCI0 "PNP0A03" io | Hw::Device[PCI0] io | IOMEM * [000000e0000000-000000febfffff 1ec00000] non-pref (32bit) (align=1ebfffff flags=c002) io | IOMEM * [000000000a0000-000000000bffff 20000] non-pref (32bit) (align=1ffff flags=c002) io | IOPORT* [00000000000d00-0000000000ffff f300] non-pref (32bit) (align=f2ff flags=c003) io | IOPORT* [00000000000000-00000000000cf7 cf8] non-pref (32bit) (align=cf7 flags=c003) io | IOPORT [00000000000cf8-00000000000cff 8] non-pref (32bit) (align=7 flags=c003) io | BUS * [00000000000000-000000000000ff 100] non-pref (32bit) (align=ff flags=c004) io | PCI IRQ ROUTER: 18Pci_irq_router_resIN12_GLOBAL__N_122Acpi_pci_irq_router_rsEE (0x19a70) io | P6Device: S1__ "" io | Hw::Device[S1__] io | 0000:00:01.0: ISA Bridge [128] io | 0x8086 0x7000 io | Intel Corporation 82371SB PIIX3 ISA [Natoma/Triton II] io | P6Device: S2__ "" io | Hw::Device[S2__] io | 0000:00:02.0: display controller [0] io | 0x1013 0x00b8 io | Cirrus Logic GD 5446 io | IOMEM [000000febf0000-000000febf0fff 1000] non-pref (32bit) (align=fff flags=4a02) io | IOMEM [000000fc000000-000000fdffffff 2000000] pref (32bit) (align=1ffffff flags=4e02) io | P6Device: S3__ "" io | Hw::Device[S3__] io | 0000:00:03.0: network controller [0] io | 0x10ec 0x8139 io | Realtek Semiconductor Co., Ltd. RTL-8139/8139C/8139C+ io | IOMEM [000000febf1000-000000febf10ff 100] non-pref (32bit) (align=ff flags=4a02) io | IOPORT [0000000000c000-0000000000c0ff 100] non-pref (32bit) (align=ff flags=4b03) io | IRQ [0000000000000b-0000000000000b 1] level high (32bit) (align=0 flags=104201) io | P6Device: S4__ "" io | Hw::Device[S4__] io | P6Device: S5__ "" io | Hw::Device[S5__] io | P6Device: S6__ "" io | Hw::Device[S6__] io | P6Device: S7__ "" io | Hw::Device[S7__] io | P6Device: S8__ "" io | Hw::Device[S8__] io | P6Device: S9__ "" io | Hw::Device[S9__] io | P6Device: S10_ "" io | Hw::Device[S10_] io | P6Device: S11_ "" io | Hw::Device[S11_] io | P6Device: S12_ "" io | Hw::Device[S12_] io | P6Device: S13_ "" io | Hw::Device[S13_] io | P6Device: S14_ "" io | Hw::Device[S14_] io | P6Device: S15_ "" io | Hw::Device[S15_] io | P6Device: S16_ "" io | Hw::Device[S16_] io | P6Device: S17_ "" io | Hw::Device[S17_] io | P6Device: S18_ "" io | Hw::Device[S18_] io | P6Device: S19_ "" io | Hw::Device[S19_] io | P6Device: S20_ "" io | Hw::Device[S20_] io | P6Device: S21_ "" io | Hw::Device[S21_] io | P6Device: S22_ "" io | Hw::Device[S22_] io | P6Device: S23_ "" io | Hw::Device[S23_] io | P6Device: S24_ "" io | Hw::Device[S24_] io | P6Device: S25_ "" io | Hw::Device[S25_] io | P6Device: S26_ "" io | Hw::Device[S26_] io | P6Device: S27_ "" io | Hw::Device[S27_] io | P6Device: S28_ "" io | Hw::Device[S28_] io | P6Device: S29_ "" io | Hw::Device[S29_] io | P6Device: S30_ "" io | Hw::Device[S30_] io | P6Device: S31_ "" io | Hw::Device[S31_] io | P6Device: VGA_ "" io | Hw::Device[VGA_] io | P6Device: ISA_ "" io | Hw::Device[ISA_] io | P6Device: RTC_ "PNP0B00" io | Hw::Device[RTC_] io | IOPORT [00000000000072-00000000000077 6] non-pref (32bit) (align=5 flags=c003) io | IRQ [00000000000008-00000000000008 1] rising edge (32bit) (align=0 flags=4001) io | IOPORT [00000000000070-00000000000071 2] non-pref (32bit) (align=1 flags=c003) io | P6Device: KBD_ "PNP0303" io | Hw::Device[KBD_] io | IRQ [00000000000001-00000000000001 1] rising edge (32bit) (align=0 flags=4001) io | IOPORT [00000000000064-00000000000064 1] non-pref (32bit) (align=0 flags=c003) io | IOPORT [00000000000060-00000000000060 1] non-pref (32bit) (align=0 flags=c003) io | P6Device: MOU_ "PNP0F13" io | Hw::Device[MOU_] io | IRQ [0000000000000c-0000000000000c 1] rising edge (32bit) (align=0 flags=4001) io | P6Device: FDC0 "PNP0700" io | Hw::Device[FDC0] io | IRQ [00000000000006-00000000000006 1] rising edge (32bit) (align=0 flags=4001) io | IOPORT [000000000003f7-000000000003f7 1] non-pref (32bit) (align=0 flags=c003) io | IOPORT [000000000003f2-000000000003f5 4] non-pref (32bit) (align=3 flags=c003) io | P6Device: LPT_ "PNP0400" io | Hw::Device[LPT_] io | IRQ [00000000000007-00000000000007 1] rising edge (32bit) (align=0 flags=4001) io | IOPORT [00000000000378-0000000000037f 8] non-pref (32bit) (align=7 flags=c003) io | P6Device: COM1 "PNP0501" io | Hw::Device[COM1] io | IRQ [00000000000004-00000000000004 1] rising edge (32bit) (align=0 flags=4001) io | IOPORT [000000000003f8-000000000003ff 8] non-pref (32bit) (align=7 flags=c003) io | P6Device: COM2 "PNP0501" io | Hw::Device[COM2] io | IRQ [00000000000003-00000000000003 1] rising edge (32bit) (align=0 flags=4001) io | IOPORT [000000000002f8-000000000002ff 8] non-pref (32bit) (align=7 flags=c003) io | P6Device: PX13 "" io | Hw::Device[PX13] io | 0000:00:01.3: bridge device [0] io | 0x8086 0x7113 io | Intel Corporation 82371AB/EB/MB PIIX4 ACPI io | IRQ [0000000000000a-0000000000000a 1] level high (32bit) (align=0 flags=104201) io | P6Device: SL3_ "" io | Hw::Device[SL3_] io | P6Device: SL4_ "" io | Hw::Device[SL4_] io | P6Device: SL5_ "" io | Hw::Device[SL5_] io | P6Device: SL6_ "" io | Hw::Device[SL6_] io | P6Device: SL7_ "" io | Hw::Device[SL7_] io | P6Device: SL8_ "" io | Hw::Device[SL8_] io | P6Device: SL9_ "" io | Hw::Device[SL9_] io | P6Device: SL10 "" io | Hw::Device[SL10] io | P6Device: SL11 "" io | Hw::Device[SL11] io | P6Device: SL12 "" io | Hw::Device[SL12] io | P6Device: SL13 "" io | Hw::Device[SL13] io | P6Device: SL14 "" io | Hw::Device[SL14] io | P6Device: SL15 "" io | Hw::Device[SL15] io | P6Device: SL16 "" io | Hw::Device[SL16] io | P6Device: SL17 "" io | Hw::Device[SL17] io | P6Device: SL18 "" io | Hw::Device[SL18] io | P6Device: SL19 "" io | Hw::Device[SL19] io | P6Device: SL20 "" io | Hw::Device[SL20] io | P6Device: SL21 "" io | Hw::Device[SL21] io | P6Device: SL22 "" io | Hw::Device[SL22] io | P6Device: SL23 "" io | Hw::Device[SL23] io | P6Device: SL24 "" io | Hw::Device[SL24] io | P6Device: SL25 "" io | Hw::Device[SL25] io | P6Device: SL26 "" io | Hw::Device[SL26] io | P6Device: SL27 "" io | Hw::Device[SL27] io | P6Device: SL28 "" io | Hw::Device[SL28] io | P6Device: SL29 "" io | Hw::Device[SL29] io | P6Device: SL30 "" io | Hw::Device[SL30] io | P6Device: SL31 "" io | Hw::Device[SL31] io | P6Device: "" io | Hw::Device[] io | 0000:00:00.0: Host/PCI Bridge [0] io | 0x8086 0x1237 io | Intel Corporation 440FX - 82441FX PMC [Natoma] io | P6Device: "" io | Hw::Device[] io | 0000:00:01.1: mass storage contoller [0] io | 0x8086 0x7010 io | Intel Corporation 82371SB PIIX3 IDE [Natoma/Triton II] io | IOPORT [0000000000c100-0000000000c10f 10] non-pref (32bit) (align=f flags=4a03) io | IRQ [0000000000000f-0000000000000f 1] rising edge (32bit) (align=0 flags=4001) io | IOPORT [00000000000376-00000000000376 1] non-pref (32bit) (align=0 flags=4a03) io | IOPORT [00000000000170-00000000000177 8] non-pref (32bit) (align=7 flags=4a03) io | IRQ [0000000000000e-0000000000000e 1] rising edge (32bit) (align=0 flags=4001) io | IOPORT [000000000003f6-000000000003f6 1] non-pref (32bit) (align=0 flags=4a03) io | IOPORT [000000000001f0-000000000001f7 8] non-pref (32bit) (align=7 flags=4a03) io | P6Device: HPET "PNP0103" io | Hw::Device[HPET] io | IOMEM [000000fed00000-000000fed003ff 400] non-pref (32bit) (align=3ff flags=c002) io | P6Device: LNKA "PNP0C0F" io | Hw::Device[LNKA] io | IRQ [0000000000000a-0000000000000a 1] level high (32bit) (align=0 flags=104001) io | P6Device: LNKB "PNP0C0F" io | Hw::Device[LNKB] io | IRQ [0000000000000a-0000000000000a 1] level high (32bit) (align=0 flags=104001) io | P6Device: LNKC "PNP0C0F" io | Hw::Device[LNKC] io | IRQ [0000000000000b-0000000000000b 1] level high (32bit) (align=0 flags=104001) io | P6Device: LNKD "PNP0C0F" io | Hw::Device[LNKD] io | IRQ [0000000000000b-0000000000000b 1] level high (32bit) (align=0 flags=104001) io | P6Device: LNKS "PNP0C0F" io | Hw::Device[LNKS] io | IRQ [0000000000000a-0000000000000a 1] level high (32bit) (align=0 flags=104001) io | P6Device: PS2 "PNP0303" io | Hw::Device[PS2] io | IRQ [0000000000000c-0000000000000c 1] rising edge (32bit) (align=0 flags=4001) io | IRQ [00000000000001-00000000000001 1] rising edge (32bit) (align=0 flags=4001) io | P6Device: BIOS "BIOS" io | Hw::Device[BIOS] io | IOMEM [000000000c0000-000000000fffff 40000] non-pref (32bit) (align=3ffff flags=c002) io | IOMEM [0000000009f000-0000000009ffff 1000] non-pref (32bit) (align=fff flags=c002) io | IOMEM [00000000000000-00000000000fff 1000] non-pref (32bit) (align=fff flags=c002) io | P6Device: VGA "PNP0900" io | Hw::Device[VGA] io | IOMEM [000000000a0000-000000000bffff 20000] non-pref (32bit) (align=1ffff flags=8c002) io | IOPORT [0000000000c000-0000000000c00f 10] non-pref (32bit) (align=f flags=4003) io | IOPORT [00000000000000-00000000000fff 1000] non-pref (32bit) (align=fff flags=4003) io | IRQ [0000000000000b-0000000000000b 1] rising edge (32bit) (align=0 flags=4001) io | IRQ [0000000000000a-0000000000000a 1] rising edge (32bit) (align=0 flags=4001) io | Ready. Waiting for request. io | request resource: IOPORT [00000000000000-00000000000fff 1000] non-pref (32bit) (align=fff flags=4003) io | io | HERE1: request_resource io | HERE2: request_resource io | ASSIGNED: request_resource l4linux | PH 0 (t: 1) offs=00001000 vaddr=00400000 vend=007dc000 l4linux | phys=00400000 ephys=007dc000 l4linux | f_sz=003dc000 memsz=003dc000 flgs=r-x l4linux | PH 1 (t: 1) offs=003dd000 vaddr=007dc000 vend=008fa000 l4linux | phys=007dc000 ephys=008fa000 l4linux | f_sz=00071000 memsz=0011e000 flgs=rw- l4linux | PH 2 (t: 4) offs=00301a7c vaddr=00700a7c vend=00700aa0 l4linux | phys=00700a7c ephys=00700aa0 l4linux | f_sz=00000024 memsz=00000024 flgs=--- l4linux | Starting binary at 0x400000, argc=4 argv=0x80007f98 *argv=0xb1007ff4 argv0=rom/vmlinuz l4linux | External resolver is at 0xa80006d0 l4linux | ======> L4Linux 2.6 starting... <======== l4linux | Linux version 3.0.0-l4-svn23 (root@abhishek) (gcc version 4.6.3 (Ubuntu/Linaro 4.6.3-1ubuntu5) ) #6 SMP Fri Jul 20 10:36:29 CEST 2012 l4linux | Binary name: rom/vmlinuz l4linux | Linux kernel command line (3 args): mem=400M console=ttyLv0 root=/dev/hda l4linux | CPU mapping (l:p)[1]: 0:0 l4linux | Image: 00400000 - 008fa000 [5096 KiB]. l4linux | Areas: Text: 00400000 - 007dc000 [3952kB] (a bit longer) l4linux | Data: 007dc000 - 0080e2e0 [200kB] l4linux | Initdata: 0080f000 - 00847000 [224kB] l4linux | BSS: 0084e000 - 008ea000 [624kB] l4linux | gs=43 fs=43 l4linux | Device scan: l4linux | Device: PNP0900 io | request resource: IOPORT [0000000000c000-0000000000c00f 10] non-pref (32bit) (align=f flags=4003) io | io | HERE1: request_resource io | HERE2: request_resource io | ASSIGNED: request_resource fb | Trying execution of ``set VBE mode'' using x86emu io | map mem: p=c0000 v=4c0000 s=20000: done l4linux | IRQ: 0000000a - 0000000a l4linux | IRQ: 0000000b - 0000000b l4linux | PORT: 00000000 - 00000fff io | request resource: IOPORT [00000000000000-00000000000fff 1000] non-pref (32bit) (align=fff flags=4003) fb | Found VESA BIOS version 2.0 fb | OEM VGABIOS Cirrus extension io | io | HERE1: request_resource io | HERE2: request_resource io | ASSIGNED: request_resource l4linux | PORT: 0000c000 - 0000c00f io | request resource: IOPORT [0000000000c000-0000000000c00f 10] non-pref (32bit) (align=f flags=4003) io | io | HERE1: request_resource io | HERE2: request_resource io | ASSIGNED: request_resource l4linux | MEM: 000a0000 - 000bffff l4linux | requesting IOMEM: 0xa0000 io | map mem: p=a0000 v=4a0000 s=20000: done l4linux | Device: PNP0303 l4linux | IRQ: 00000001 - 00000001 l4linux | IRQ: 0000000c - 0000000c l4linux | Device: BIOS l4linux | MEM: 00000000 - 00000fff l4linux | requesting IOMEM: 0x0 l4linux | MEM: 0009f000 - 0009ffff l4linux | requesting IOMEM: 0x9f000 l4linux | MEM: 000c0000 - 000fffff l4linux | requesting IOMEM: 0xc0000 l4linux | Device: l4linux | MEM: fc000000 - fdffffff l4linux | requesting IOMEM: 0xfc000000 l4linux | Cannot attach iomem to virtual address fc000000 with size 1ffffff: Address not available(-99). l4linux | MEM: febf0000 - febf0fff l4linux | requesting IOMEM: 0xfebf0000 l4linux | Cannot attach iomem to virtual address febf0000 with size fff: Address not available(-99). l4linux | Device: l4linux | PORT: 000001f0 - 000001f7 io | request resource: IOPORT [000000000001f0-000000000001f7 8] non-pref (32bit) (align=7 flags=4003) io | io | HERE1: request_resource io | HERE2: request_resource io | ASSIGNED: request_resource l4linux | PORT: 000003f6 - 000003f6 io | request resource: IOPORT [000000000003f6-000000000003f6 1] non-pref (32bit) (align=0 flags=4003) io | io | HERE1: request_resource io | HERE2: request_resource io | ASSIGNED: request_resource l4linux | IRQ: 0000000e - 0000000e l4linux | PORT: 00000170 - 00000177 io | request resource: IOPORT [00000000000170-00000000000177 8] non-pref (32bit) (align=7 flags=4003) io | io | HERE1: request_resource io | HERE2: request_resource io | ASSIGNED: request_resource l4linux | PORT: 00000376 - 00000376 io | request resource: IOPORT [00000000000376-00000000000376 1] non-pref (32bit) (align=0 flags=4003) io | io | HERE1: request_resource io | HERE2: request_resource io | ASSIGNED: request_resource l4linux | IRQ: 0000000f - 0000000f l4linux | PORT: 0000c100 - 0000c10f io | request resource: IOPORT [0000000000c100-0000000000c10f 10] non-pref (32bit) (align=f flags=4003) io | io | HERE1: request_resource io | HERE2: request_resource io | ASSIGNED: request_resource l4linux | Device: l4linux | IRQ: 0000000b - 0000000b l4linux | PORT: 0000c000 - 0000c0ff io | request resource: IOPORT [0000000000c000-0000000000c0ff 100] non-pref (32bit) (align=ff flags=4003) io | io | HERE1: request_resource io | NOT ASSIGNED, NON CONTAINED: request_resource l4linux | MEM: febf1000 - febf10ff l4linux | requesting IOMEM: 0xfebf1000 l4linux | Cannot attach iomem to virtual address febf1000 with size ff: Address not available(-99). l4linux | l4x_fiasco_gdt_entry_offset = 9 l4linux | rtc not found l4linux | WARNING: RTC server does not seem there! l4linux | l4lx_thread_create: Created thread 417 (cpu0) (u:b3000400, v:b3000600, sp:007ddff4) l4linux | main thread will be 417 l4linux | l4x_register_pointer_section: addr = 007dc000 size = 1171456 l4linux | section-with-init: virt: 0x7dc000 to 0x8f9fff [1144 KiB] l4linux | section-with-init: Phys: 0x00a03000 to 0x00b21000, Size: 1171456 fb | VBE mode 0x117 successfully set. fb | Framebuffer memory: phys: fc000000 - fc400000 fb | virt: 400000 - 800000 io | new iomem region: p=fc000000 v=2000000 s=2000000 (bmb=0x175c0) io | map mem: p=fc000000 v=2000000 s=2000000: done fb | Starting server loop l4linux | l4x_linux_startup: thread 417. l4linux | Main thread running, waiting... l4linux | main thread: received startup message. l4linux | l4x_setup_memory: Forcing superpages for main memory l4linux | l4re_global_env: 0xb1007f14 l4linux | Main memory size: 400MB l4linux | Main memory: virt: 0xc00000 to 0x19bfffff [409600 KiB] l4linux | Main memory: Phys: 0x02800000 to 0x1b800000, Size: 419430400 l4linux | Filling lower ptabs... l4linux | Done (1468 entries). l4linux | l4x_register_pointer_section: addr = 007dc000 size = 1171456 l4linux | end: virt: 0x7dc000 to 0x8f9fff [1144 KiB] l4linux | end: Phys: 0x00a03000 to 0x00b21000, Size: 1171456 l4linux | rtc not found Linux version 3.0.0-l4-svn23 (root@abhishek) (gcc version 4.6.3 (Ubuntu/Linaro 4.6.3-1ubuntu5) ) #6 SMP Fri Jul 20 10:36:29 CEST 2012 BIOS-provided physical RAM map: L4Lx-Memory: 0000000000000000 - 0000000000400000 (reserved) L4Lx-Memory: 0000000000400000 - 00000000008fa000 (usable) L4Lx-Memory: 00000000008fa000 - 0000000000c00000 (unusable) L4Lx-Memory: 0000000000c00000 - 0000000019c00000 (usable) Notice: NX (Execute Disable) protection cannot be enabled: non-PAE kernel! last_pfn = 0x19c00 max_arch_pfn = 0x100000 init_memory_mapping: 0000000000000000-0000000019c00000 412MB LOWMEM available. mapped low ram: 0 - 19c00000 low ram: 0 - 19c00000 Zone PFN ranges: DMA 0x00000400 -> 0x00000000 Normal 0x00000000 -> 0x00019c00 Movable zone start PFN for each node early_node_map[2] active PFN ranges 0: 0x00000400 -> 0x000008fa 0: 0x00000c00 -> 0x00019c00 Using APIC driver default Intel MultiProcessor Specification v1.0 Virtual Wire compatibility mode. Processors: 1 SMP: Allowing 1 CPUs, 0 hotplug CPUs Allocating PCI resources starting at 19c00000 (gap: 19c00000:e6400000) setup_percpu: NR_CPUS:8 nr_cpumask_bits:8 nr_cpu_ids:1 nr_node_ids:1 PERCPU: Embedded 11 pages/cpu @19400000 s20896 r0 d24160 u4194304 Built 1 zonelists in Zone order, mobility grouping on. Total pages: 102858 Kernel command line: mem=400M console=ttyLv0 root=/dev/hda PID hash table entries: 2048 (order: 1, 8192 bytes) Dentry cache hash table entries: 65536 (order: 6, 262144 bytes) Inode-cache hash table entries: 32768 (order: 5, 131072 bytes) Initializing CPU#0 Memory: 405940k/421888k available (3073k kernel code, 8756k reserved, 1079k data, 224k init, 0k highmem) virtual kernel memory layout: fixmap : 0x00100000 - 0x001e7000 ( 924 kB) vmalloc : 0x19c00000 - 0x21c00000 ( 128 MB) lowmem : 0x00000000 - 0x19c00000 ( 412 MB) .init : 0x0080f000 - 0x00847000 ( 224 kB) .data : 0x007004b8 - 0x0080e2e0 (1079 kB) .text : 0x00400000 - 0x007004b8 (3073 kB) Hierarchical RCU implementation. NR_IRQS:512 l4lx_irq_init: l4lx_irq_max = 512 Console: colour dummy device 80x25 console [ttyLv0] enabled l4lx_irq_dev_startup_timer(0) l4linux | l4lx_thread_create: Created thread 41f (timer.i0) (u:b3000800, v:00000000, sp:0087fff8) Detected 1396.899 MHz processor. Calibrating delay loop (skipped), value calculated using timer frequency.. l4linux | timer_irq_thread: Starting timer IRQ thread. 2793.79 BogoMIPS (lpj=13968990) pid_max: default: 32768 minimum: 301 Mount-cache hash table entries: 512 SMP alternatives: switching to UP code Freeing SMP alternatives: 24k freed CPU0: AMD QEMU Virtual CPU version 1.0 stepping 03 Performance Events: l4linux | WARNING: Unknown rdmsr: c0010000 at 0x816311 l4linux | WARNING: Unknown rdmsr: c0010001 at 0x816311 l4linux | WARNING: Unknown rdmsr: c0010002 at 0x816311 l4linux | WARNING: Unknown rdmsr: c0010003 at 0x816311 l4linux | WARNING: Unknown wrmsr: c0010004 at 0x81638f l4linux | WARNING: Unknown rdmsr: c0010004 at 0x8163a1 Broken PMU hardware detected, using software events only. Brought up 1 CPUs Total of 1 processors activated (2793.79 BogoMIPS). NET: Registered protocol family 16 bio: create slab <bio-0> at 0 vgaarb: loaded SCSI subsystem initialized PCI: L4 root bridge is device 1bd10 vgaarb: device added: PCI:0000:00:01.0,decodes=io+mem,owns=io+mem,locks=none PCI: Using L4-IO for IRQ routing pci 0000:00:00.0: No interrupt pin configured for device 0000:00:00.0 pci 0000:00:01.0: No interrupt pin configured for device 0000:00:01.0 pci 0000:00:02.0: No interrupt pin configured for device 0000:00:02.0 io | Enable IRQ: 11 0 0 io | 0000:00:03.0: L4IRQ: set irq type of 11 to 4 pci 0000:00:03.0: PCI INT A -> GSI 11 (level, high) -> IRQ 11 Switching to clocksource l4kipclk NET: Registered protocol family 2 IP route cache hash table entries: 4096 (order: 2, 16384 bytes) TCP established hash table entries: 16384 (order: 5, 131072 bytes) TCP bind hash table entries: 16384 (order: 5, 131072 bytes) TCP: Hash tables configured (established 16384 bind 16384) TCP reno registered UDP hash table entries: 256 (order: 1, 8192 bytes) UDP-Lite hash table entries: 256 (order: 1, 8192 bytes) NET: Registered protocol family 1 RPC: Registered named UNIX socket transport module. RPC: Registered udp transport module. RPC: Registered tcp transport module. RPC: Registered tcp NFSv4.1 backchannel transport module. platform rtc_cmos: registered platform RTC device (no PNP device found) msgmni has been set to 792 io scheduler noop registered io scheduler deadline registered io scheduler cfq registered (default) cirrusfb 0000:00:01.0: No interrupt pin configured for device 0000:00:01.0 __l4x_ioremap: Mapping physaddr febf0000 [0x1000 Bytes, febf0000+001000] to 21c00000+000000 cirrusfb 0000:00:01.0: cannot reserve region 0xa0000, abort cirrusfb: probe of 0000:00:01.0 failed with error -16 l4fb l4fb.0: look for capability 'fb' as goos session l4fb l4fb.0: 1024x768@16 2bypp, size: 4194304 @ 21c00000 l4fb l4fb.0: 5:6:5 11:5:0 linelen=2048 visual=2 Console: switching to colour frame buffer device 128x48 l4fb l4fb.0: l4fb L4 frame buffer device (refresh: 10jiffies) l4linux | l4fb: INFO: No input available vga16fb: mapped to 0x000a0000 fb1: VGA16 VGA frame buffer device L4 serial driver ttyLv0 at MMIO 0x1 (irq = 64) is a L4 Linux agpgart interface v0.103 l4cdds: No name given, not starting. brd: module loaded Uniform Multi-Platform E-IDE driver piix 0000:00:02.0: IDE controller (0x8086:0x7010 rev 0x00) pci 0000:00:02.0: No interrupt pin configured for device 0000:00:02.0 piix 0000:00:02.0: not 100% native mode: will probe irqs later ide0: BM-DMA at 0xc100-0xc107 ide1: BM-DMA at 0xc108-0xc10f Switching to clocksource tsc hda: QEMU HARDDISK, ATA DISK drive hda: MWDMA2 mode selected hdc: QEMU DVD-ROM, ATAPI CD/DVD-ROM drive hdc: MWDMA2 mode selected io | IRQ 14 -> client io | IRQ mode = 0 -> 0 io | bound irq 14 -> err=0 ide0 at 0x1f0-0x1f7,0x3f6 on irq 14 io | IRQ 15 -> client io | IRQ mode = 0 -> 0 io | bound irq 15 -> err=0 ide1 at 0x170-0x177,0x376 on irq 15 ide_generic: please use "probe_mask=0x3f" module parameter for probing all legacy ISA IDE ports ide-gd driver 1.18 hda: max request size: 512KiB hda: 3072000 sectors (1572 MB) w/256KiB Cache, CHS=3047/255/63 hda: cache flushes supported hda: unknown partition table ide-cd driver 5.00 ide-cd: hdc: ATAPI 4X DVD-ROM drive, 512kB Cache cdrom: Uniform CD-ROM driver Revision: 3.20 e1000: Intel(R) PRO/1000 Network Driver - version 7.3.21-k8-NAPI e1000: Copyright (c) 1999-2006 Intel Corporation. pcnet32: pcnet32.c:v1.35 21.Apr.2008 tsbogend@alpha.franken.de io | IRQ 12 -> client io | IRQ mode = 0 -> 0 io | bound irq 12 -> err=0 io | IRQ 12 -> client io | IRQ mode = 0 -> 0 io | bound irq 12 -> err=0 io | IRQ 1 -> client io | IRQ mode = 0 -> 0 io | bound irq 1 -> err=0 serio: i8042 KBD port at 0x60,0x64 irq 1 serio: i8042 AUX port at 0x60,0x64 irq 12 mousedev: PS/2 mouse device common for all mice rtc_cmos rtc_cmos: rtc core: registered rtc_cmos as rtc0 rtc_cmos rtc_cmos: only 24-hr supported TCP cubic registered NET: Registered protocol family 17 Registering the dns_resolver key type Using IPI No-Shortcut mode /opt/L4-GPU/src/l4linux/drivers/rtc/hctosys.c: unable to open rtc device (rtc0) input: AT Translated Set 2 keyboard as /devices/platform/i8042/serio0/input/input0 input: ImExPS/2 Generic Explorer Mouse as /devices/platform/i8042/serio1/input/input1 VFS: Mounted root (ext2 filesystem) on device 3:0. Freeing unused kernel memory: 224k freed modprobe: FATAL: Could not load /lib/modules/3.0.0-l4-svn23/modules.dep: No such file or directory

INIT: version 2.88 booting Using makefile-style concurrent boot in runlevel S. .udev/ already exists on the static /dev! ... (warning). Starting the hotplug events dispatcher: udevd. Synthesizing the initial hotplug events...done. Waiting for /dev to be fully populated...done. Activating swap...done. Cleaning up ifupdown.... Setting up networking.... Loading kernel modules...done. Activating lvm and md swap...done. Checking file systems...Clocksource tsc unstable (delta = 70672473 ns) Switching to clocksource l4kipclk fsck from util-linux-ng 2.17.2 done. Mounting local filesystems...done. Activating swapfile swap...done. Cleaning up temporary files.... Configuring network interfaces...Internet Systems Consortium DHCP Client 4.1.1-P1 Copyright 2004-2010 Internet Systems Consortium. All rights reserved. For info, please visit https://www.isc.org/software/dhcp/