l4linux GPU direct access

Abhishek Gupta abhishek.ismdhn at gmail.com
Fri Jul 20 11:00:32 CEST 2012


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

Welcome to Fiasco.OC (ia32)!
L4/Fiasco.OC ia32 microkernel (C) 1998-2011 TU Dresden
Rev: r compiled with gcc 4.6.3 for Intel Pentium Pro    []
Build: #3 Tue May 29 05:30:23 CEST 2012

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 at 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 at 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 at 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 at 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/

modprobe: FATAL: Could not load /lib/modules/3.0.0-l4-svn23/modules.dep: No
such file or directory

modprobe: FATAL: Could not load /lib/modules/3.0.0-l4-svn23/modules.dep: No
such file or directory

SIOCSIFADDR: No such device
modprobe: FATAL: Could not load /lib/modules/3.0.0-l4-svn23/modules.dep: No
such file or directory

modprobe: FATAL: Could not load /lib/modules/3.0.0-l4-svn23/modules.dep: No
such file or directory

eth1: ERROR while getting interface flags: No such device
modprobe: FATAL: Could not load /lib/modules/3.0.0-l4-svn23/modules.dep: No
such file or directory

modprobe: FATAL: Could not load /lib/modules/3.0.0-l4-svn23/modules.dep: No
such file or directory

eth1: ERROR while getting interface flags: No such device
Bind socket to interface: No such device
Failed to bring up eth1.
done.
Cleaning up temporary files....
Setting kernel variables ...done.
INIT: Entering runlevel: 2
Using makefile-style concurrent boot in runlevel 2.
Starting enhanced syslogd: rsyslogd.
Starting periodic command scheduler: cron.
Starting OpenBSD Secure Shell server: sshdsshd (398): /proc/398/oom_adj is
deprecated, please use /proc/398/oom_score_adj instead.
.
abhishek at abhishek:/opt/L4-GPU$ sudo RUN=linux-x2-pci ./automate.sh
BUILDID=201205290429
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

Welcome to Fiasco.OC (ia32)!
L4/Fiasco.OC ia32 microkernel (C) 1998-2011 TU Dresden
Rev: r compiled with gcc 4.6.3 for Intel Pentium Pro    []
Build: #3 Tue May 29 05:30:23 CEST 2012

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 at 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 at 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 at 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 at 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/

modprobe: FATAL: Could not load /lib/modules/3.0.0-l4-svn23/modules.dep: No
such file or directory

modprobe: FATAL: Could not load /lib/modules/3.0.0-l4-svn23/modules.dep: No
such file or directory

SIOCSIFADDR: No such device
modprobe: FATAL: Could not load /lib/modules/3.0.0-l4-svn23/modules.dep: No
such file or directory

modprobe: FATAL: Could not load /lib/modules/3.0.0-l4-svn23/modules.dep: No
such file or directory

eth1: ERROR while getting interface flags: No such device
modprobe: FATAL: Could not load /lib/modules/3.0.0-l4-svn23/modules.dep: No
such file or directory

modprobe: FATAL: Could not load /lib/modules/3.0.0-l4-svn23/modules.dep: No
such file or directory

eth1: ERROR while getting interface flags: No such device
Bind socket to interface: No such device
Failed to bring up eth1.
done.
Cleaning up temporary files....
Setting kernel variables ...done.
INIT: Entering runlevel: 2
Using makefile-style concurrent boot in runlevel 2.
Starting enhanced syslogd: rsyslogd.
Starting periodic command scheduler: cron.
Starting OpenBSD Secure Shell server: sshdsshd (398): /proc/398/oom_adj is
deprecated, please use /proc/398/oom_score_adj instead.
.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20120720/a501788e/attachment.html>


More information about the l4-hackers mailing list