Hello,<div><br></div><div>I was trying to build L4,L4RE, L4Linux for the Intel atom board.</div><div><div>I tried to build everything from the scratch.</div><div>But I am not able to boot l4linux on intel atom.</div><div>The same image if I am running on QEMU then it is working.</div>
<div>I don&#39;t know what I am doing wrong.</div><div>Pleas Help.</div><div><br></div><div>The difference that I can see while running on QEMU and Intel Atom is:</div><div><br></div><div><div><div style="font-size:13px;font-family:arial,sans-serif">
 QEMU:</div><div style="font-size:13px;font-family:arial,sans-serif"><br></div><div style="font-size:13px;font-family:arial,sans-serif">
<div>CPU0: AMD QEMU Virtual CPU version 1.0 stepping 03</div><div>Performance Events: l4linux | WARNING: Unknown rdmsr: c0010000 at 0x6d529f</div><div>l4linux | WARNING: Unknown rdmsr: c0010001 at 0x6d529f</div><div>l4linux | WARNING: Unknown rdmsr: c0010002 at 0x6d529f</div>

<div>l4linux | WARNING: Unknown rdmsr: c0010003 at 0x6d529f</div><div>l4linux | WARNING: Unknown wrmsr: c0010004 at 0x6d531d</div><div>l4linux | WARNING: Unknown rdmsr: c0010004 at 0x6d532f</div><div>Broken PMU hardware detected, using software events only.</div>

<div>Brought up 1 CPUs</div><div>Total of 1 processors activated (2877.82 BogoMIPS).</div><div>bio: create slab &lt;bio-0&gt; at 0</div><div>vgaarb: loaded</div><div>SCSI subsystem initialized</div><div>PCI: L4 root bridge is device 1b390</div>

<div>vgaarb: device added: PCI:0000:00:01.0,decodes=io+mem,owns=io+mem,locks=none</div></div><div style="font-size:13px;font-family:arial,sans-serif">
<br></div><div style="font-size:13px;font-family:arial,sans-serif"><br></div><div style="font-size:13px;font-family:arial,sans-serif">
Intel Atom:</div></div><div style="font-size:13px;font-family:arial,sans-serif"><br></div><div><div class="im"><div style="font-size:13px;font-family:arial,sans-serif">
CPU0: Intel(R) Atom(TM) CPU  330   @ 1.60GHz stepping 02</div><div style="font-size:13px;font-family:arial,sans-serif">Performance Events: l4linux | WARNING: Unknown rdmsr: 00000345 at 0x6d4c3a</div>
<div style="font-size:13px;font-family:arial,sans-serif">no PEBS fmt3+, Atom events, l4linux | WARNING: Unknown rdmsr: 00000186 at 0x6d529f</div><div style="font-size:13px;font-family:arial,sans-serif">
l4linux | WARNING: Unknown rdmsr: 00000187 at 0x6d529f</div><div style="font-size:13px;font-family:arial,sans-serif">l4linux | WARNING: Unknown rdmsr: 0000038d at 0x6d52d2</div>
<div style="font-size:13px;font-family:arial,sans-serif">Broken BIOS detected, complain to your hardware vendor.</div><div style="font-size:13px;font-family:arial,sans-serif">
[Firmware Bug]: the BIOS has corrupted hw-PMU resources (MSR 38d is b30006000000038d)</div><div style="font-size:13px;font-family:arial,sans-serif">Intel PMU driver.</div>
<div style="font-size:13px;font-family:arial,sans-serif">l4linux | Page fault (non-resolved): pfa=1e3342 pc=416170</div><div style="font-size:13px;font-family:arial,sans-serif">
l4linux | Page fault (non-resolved): pfa=1a8 pc=493e6b</div></div><div style="font-size:13px;font-family:arial,sans-serif">Die message: Trap: 14</div><div style="font-size:13px;font-family:arial,sans-serif">
Trap: 14: 0004 [#1] SMP </div><div style="font-size:13px;font-family:arial,sans-serif">Modules linked in:</div></div></div><div><br></div><div><br></div>
<div>Below is the complete log file(Intel Atom):</div><div><br></div></div><div><div>mayuresh@mayuresh:~/L4$ sudo picocom -b 115200 /dev/ttyUSB0</div><div>[sudo] password for mayuresh: </div><div>picocom v1.4</div><div><br>
</div><div>port is        : /dev/ttyUSB0</div><div>flowcontrol    : none</div><div>baudrate is    : 115200</div><div>parity is      : none</div><div>databits are   : 8</div><div>escape is      : C-a</div><div>noinit is      : no</div>
<div>noreset is     : no</div><div>nolock is      : no</div><div>send_cmd is    : ascii_xfr -s -v -l10</div><div>receive_cmd is : rz -vv</div><div><br></div><div>Terminal ready</div><div><br></div><div>L4 Bootstrapper</div>
<div>  Build: #4 Tue Jul 24 20:56:27 CEST 2012, x86-32, 4.6.3</div><div>  RAM: 0000000000000000 - 000000000008efff: 572kB</div><div>  RAM: 0000000000100000 - 000000007f5c7fff: 2085664kB</div><div>  RAM: 000000007f5d4000 - 000000007f65ffff: 560kB</div>
<div>  RAM: 000000007f6f0000 - 000000007f6f2fff: 12kB</div><div>  RAM: 000000007f6ff000 - 000000007f6fffff: 4kB</div><div>  Total RAM: 2037MB</div><div>  Moving 11 modules to 1100000 with offset ded000</div><div>  moving module 11 { 1814000-19814000 } -&gt; { 2601000-1a601000 }</div>
<div>  moving module 10 { 133a000-1813ea7 } -&gt; { 2127000-2600ea7 }</div><div>  moving module 09 { 1339000-133931c } -&gt; { 2126000-212631c }</div><div>  moving module 08 { 1338000-133848d } -&gt; { 2125000-212548d }</div>
<div>  moving module 07 { 942000-1337e43 } -&gt; { 172f000-2124e43 }</div><div>  moving module 06 { 941000-94139b } -&gt; { 172e000-172e39b }</div><div>  moving module 05 { 711000-940c5f } -&gt; { 14fe000-172dc5f }</div><div>
  moving module 04 { 5ec000-710565 } -&gt; { 13d9000-14fd565 }</div><div>  moving module 03 { 3ce000-5eb781 } -&gt; { 11bb000-13d8781 }</div><div>  moving module 02 { 37a000-3cd525 } -&gt; { 1167000-11ba525 }</div><div>  moving module 01 { 313000-3798e0 } -&gt; { 1100000-11668e0 }</div>
<div>  Scanning /fiasco -serial_esc</div><div>  Scanning /sigma0</div><div>  Scanning /moe rom/linux-x2-pci.cfg</div><div>  Bootloader MMAP:</div><div>    [        0,     8f000) RAM (1)</div><div>    [    8f000,     a0000) reserved (2)</div>
<div>    [    e0000,    100000) reserved (2)</div><div>    [   100000,  7f5c8000) RAM (1)</div><div>    [ 7f5c8000,  7f5d4000) reserved (2)</div><div>    [ 7f5d4000,  7f660000) RAM (1)</div><div>    [ 7f660000,  7f6f0000) ACPI NVS (4)</div>
<div>    [ 7f6f0000,  7f6f3000) RAM (1)</div><div>    [ 7f6f3000,  7f6ff000) ACPI (3)</div><div>    [ 7f6ff000,  7f700000) RAM (1)</div><div>    [ 7f700000,  7f800000) reserved (2)</div><div>    [ 7f800000,  80000000) reserved (2)</div>
<div>    [ f0000000,  f0000000) reserved (2)</div><div>    [ f0000000,  f8000000) reserved (2)</div><div>    [ f8000000,  fff80000) reserved (2)</div><div>    [ fff80000,  fffff000) reserved (2)</div><div>    [ fffff000, 100000000) reserved (2)</div>
<div>  Relocated mbi to [0x2dd000-0x2dd1a5]</div><div>  Loading /fiasco</div><div>  Loading /sigma0</div><div>  Loading /moe</div><div>  find kernel info page...</div><div>  found kernel info page at 0x400000</div><div>Regions of list regions</div>
<div>    [        0,       fff] {     1000} Arch   BIOS</div><div>    [    8f000,     9ffff] {    11000} Arch   BIOS</div><div>    [    e0000,     fffff] {    20000} Arch   BIOS</div><div>    [   100000,    10b197] {     b198} Sigma0 /sigma0</div>
<div>    [   140000,    18d23f] {    4d240} Root   /moe</div><div>    [   2d0000,    2e13e7] {    113e8} Boot   bootstrap</div><div>    [   2dd000,    2dd2a2] {      2a3} Root   Multiboot info</div><div>    [   300000,    38ffff] {    90000} Kern   /fiasco</div>
<div>    [   400000,    46bfff] {    6c000} Kern   /fiasco</div><div>    [  13d9000,  1a600fff] { 19228000} Root   Modules Memory</div><div>    [ 7f5c8000,  7f5d3fff] {     c000} Arch   BIOS</div><div>    [ 7f660000,  7f6effff] {    90000} Arch   BIOS</div>
<div>    [ 7f6f3000,  7f6fefff] {     c000} Arch   BIOS</div><div>    [ 7f700000,  7fffffff] {   900000} Arch   BIOS</div><div>    [ f0000000,  ffffffff] { 10000000} Arch   BIOS</div><div>  API Version: (87) experimental</div>
<div>  Sigma0 config    ip:001001dc sp:002dca50</div><div>  Roottask config  ip:001401c4 sp:00000000</div><div>  Starting kernel /fiasco at 0030090c</div><div><br></div><div>Welcome to Fiasco.OC (ia32)!</div><div>L4/Fiasco.OC ia32 microkernel (C) 1998-2011 TU Dresden</div>
<div>Rev: r38 compiled with gcc 4.6.3 for Intel Pentium Pro    []</div><div>Build: #5 Wed Jul 25 15:54:44 CEST 2012</div><div><br></div><div>Performance-critical config option(s) detected:</div><div>  CONFIG_NDEBUG is off</div>
<div><br></div><div>Superpages: yes</div><div>Kmem:: cpu page at 7f3e2000 (4096Bytes)</div><div>ACPI-Init</div><div>ACPI: RSDP[0xfe020]<span class="Apple-tab-span" style="white-space:pre">	</span>r00 OEM:INTEL.</div><div>
ACPI: RSDT[0x202fd038]<span class="Apple-tab-span" style="white-space:pre">	</span>r01 OEM:INTEL. OEMTID:D945GLF2</div><div>ACPI: FACP[0x202fc000]<span class="Apple-tab-span" style="white-space:pre">	</span>r01 OEM:INTEL. OEMTID:D945GLF2</div>
<div>ACPI: APIC[0x202f6000]<span class="Apple-tab-span" style="white-space:pre">	</span>r01 OEM:INTEL. OEMTID:D945GLF2</div><div>ACPI: WDDT[0x202f5000]<span class="Apple-tab-span" style="white-space:pre">	</span>r01 OEM:INTEL. OEMTID:D945GLF2</div>
<div>ACPI: MCFG[0x202f4000]<span class="Apple-tab-span" style="white-space:pre">	</span>r01 OEM:INTEL. OEMTID:D945GLF2</div><div>ACPI: ASF.[0x202f3000]<span class="Apple-tab-span" style="white-space:pre">	</span>r20 OEM:INTEL. OEMTID:D945GLF2</div>
<div>IO-APIC: MADT = 0x202f6000</div><div>IO-APIC[ 0]: struct: 0x202f604c adr=fec00000</div><div>IO-APIC[ 0]: pins 24</div><div>  PIN[ 0m]: vector=20, del=0, dm=physical, dest=0 (high, edge)</div><div>  PIN[ 1m]: vector=21, del=0, dm=physical, dest=0 (high, edge)</div>
<div>  PIN[ 2m]: vector=22, del=0, dm=physical, dest=0 (high, edge)</div><div>  PIN[ 3m]: vector=23, del=0, dm=physical, dest=0 (high, edge)</div><div>  PIN[ 4m]: vector=24, del=0, dm=physical, dest=0 (high, edge)</div><div>
  PIN[ 5m]: vector=25, del=0, dm=physical, dest=0 (high, edge)</div><div>  PIN[ 6m]: vector=26, del=0, dm=physical, dest=0 (high, edge)</div><div>  PIN[ 7m]: vector=27, del=0, dm=physical, dest=0 (high, edge)</div><div>  PIN[ 8m]: vector=28, del=0, dm=physical, dest=0 (high, edge)</div>
<div>  PIN[ 9m]: vector=29, del=0, dm=physical, dest=0 (high, edge)</div><div>  PIN[10m]: vector=2a, del=0, dm=physical, dest=0 (high, edge)</div><div>  PIN[11m]: vector=2b, del=0, dm=physical, dest=0 (high, edge)</div><div>
  PIN[12m]: vector=2c, del=0, dm=physical, dest=0 (high, edge)</div><div>  PIN[13m]: vector=2d, del=0, dm=physical, dest=0 (high, edge)</div><div>  PIN[14m]: vector=2e, del=0, dm=physical, dest=0 (high, edge)</div><div>  PIN[15m]: vector=2f, del=0, dm=physical, dest=0 (high, edge)</div>
<div>  PIN[16m]: vector=30, del=0, dm=physical, dest=0 (high, edge)</div><div>  PIN[17m]: vector=31, del=0, dm=physical, dest=0 (high, edge)</div><div>  PIN[18m]: vector=32, del=0, dm=physical, dest=0 (high, edge)</div><div>
  PIN[19m]: vector=33, del=0, dm=physical, dest=0 (high, edge)</div><div>  PIN[20m]: vector=34, del=0, dm=physical, dest=0 (high, edge)</div><div>  PIN[21m]: vector=35, del=0, dm=physical, dest=0 (high, edge)</div><div>  PIN[22m]: vector=36, del=0, dm=physical, dest=0 (high, edge)</div>
<div>  PIN[23m]: vector=37, del=0, dm=physical, dest=0 (high, edge)</div><div>IO-APIC: dual 8259: yes</div><div>IO-APIC: ovr[ 0] 00 -&gt; 2</div><div>IO-APIC: ovr[ 1] 09 -&gt; 9</div><div>Allocate cpu_mem @ 0xfffe6000</div>
<div>Local APIC[00]: version=14 max_lvt=5</div><div>APIC ESR value before/after enabling: 00000000/00000000</div><div>Using the PIT (i8254) on IRQ 2 for scheduling</div><div>SERIAL ESC: allocated IRQ 4 for serial uart</div>
<div>SERIAL ESC: allocated IRQ 4 for serial uart</div><div>Not using serial hack in slow timer handler.</div><div>Absolute KIP Syscalls using: Sysenter</div><div>CPU[0:0]: GenuineIntel (6:1C:2:0)[000106c2] Model:          Intel(R) Atom(TM) CPU  330   @ 1.60GHz at 1596 MHz</div>
<div><br></div><div>  32 Entry I TLB (4K pages)</div><div>  80 Entry D TLB (4K pages)   8 Entry D TLB (4k or 4M pages)</div><div>  32 KB L1 I Cache (8-way associative, 64 bytes per line)</div><div>  24 KB L1 D Cache (6-way associative, 64 bytes per line)</div>
<div> 512 KB L2 U Cache (16-way associative, 64 bytes per line)</div><div><br></div><div>Freeing init code/data: 28672 bytes (7 pages)</div><div><br></div><div>Calibrating timer loop... done.</div><div>SIGMA0: Hello!</div>
<div>  KIP @ 400000</div><div>  Found Fiasco: KIP syscalls: yes</div><div>  allocated 4KB for maintenance structures</div><div>SIGMA0: Dump of all resource maps</div><div>RAM:------------------------</div><div>[0:1000;8efff]</div>
<div>[0:10c000;13ffff]</div><div>[4:140000;18dfff]</div><div>[0:18e000;2dcfff]</div><div>[4:2dd000;2ddfff]</div><div>[0:2de000;3fffff]</div><div>[0:465000;13d8fff]</div><div>[4:13d9000;1a600fff]</div><div>[0:1a601000;7b7fffff]</div>
<div>[0:7f400000;7f5c7fff]</div><div>[0:7f5d4000;7f65ffff]</div><div>[0:7f6f0000;7f6f2fff]</div><div>[0:7f6ff000;7f6fffff]</div><div>IOMEM:----------------------</div><div>[0:0;fff]</div><div>[0:8f000;fffff]</div><div>[0:7f5c8000;7f5d3fff]</div>
<div>[0:7f660000;7f6effff]</div><div>[0:7f6f3000;7f6fefff]</div><div>[0:7f700000;fedfffff]</div><div>[0:fee01000;ffffffff]</div><div>IO PORTS--------------------------</div><div>[0:0;fffffff]</div><div>MOE: Hello world</div>
<div>MOE: found 1612792 KByte free memory</div><div>MOE: found RAM from 1000 to 7f700000</div><div>MOE: allocated 2038 KByte for the page array @0x465000</div><div>MOE: virtual user address space [0-bfffffff]</div><div>MOE: rom name space cap -&gt; [C:501000]</div>
<div>  BOOTFS: [13d9000-14fd565] [C:503000] l4re</div><div>  BOOTFS: [14fe000-172dc5f] [C:504000] ned</div><div>  BOOTFS: [172e000-172e39b] [C:505000] linux-x2-pci.cfg</div><div>  BOOTFS: [172f000-2124e43] [C:506000] io</div>
<div>  BOOTFS: [2125000-212548d] [C:507000] x86-legacy-min.devs</div><div>  BOOTFS: [2126000-212631c] [C:508000] <a href="http://l4lx-x86-x2-pci.io">l4lx-x86-x2-pci.io</a></div><div>  BOOTFS: [2127000-2600ea7] [C:509000] vmlinuz</div>
<div>  BOOTFS: [2601000-1a601000] [C:50a000] squeezesmall-x.img</div><div>MOE: cmdline: /moe rom/linux-x2-pci.cfg</div><div>MOE: Starting: rom/ned rom/linux-x2-pci.cfg</div><div>MOE: loading &#39;rom/ned&#39;</div><div>Ned says: Hi World!</div>
<div>Ned: loading file: &#39;rom/linux-x2-pci.cfg&#39;</div><div>io      | Io service</div><div>io      | Verboseness level: 5</div><div>io      | unused physical memory space:</div><div>io      |   [00000080000000-000000efffffff]</div>
<div>io      | Hello from L4-ACPICA</div><div>io      | Find root Pointer</div><div>io      | new iomem region: p=0 v=400000 s=400000 (bmb=0x3658)</div><div>io      | map mem: p=0 v=400000 s=1000: done</div><div>io      | AcpiOsMapMemory(40e, 2) = 40040e</div>
<div>io      | map mem: p=9f000 v=49f000 s=1000: done</div><div>io      | AcpiOsMapMemory(9fc00, 400) = 49fc00</div><div>io      | map mem: p=e0000 v=4e0000 s=20000: done</div><div>io      | AcpiOsMapMemory(e0000, 20000) = 4e0000</div>
<div>io      | Find root Pointer: fe020</div><div>io      | AcpiOsMapMemory(fe020, 24) = 4fe020</div><div>io      | ACPI: RSDP 0xfe020 00014 (v00 INTEL )</div><div>io      | new iomem region: p=7f400000 v=800000 s=400000 (bmb=0x3700)</div>
<div>io      | map mem: p=7f6fd000 v=afd000 s=1000: done</div><div>io      | AcpiOsMapMemory(7f6fd038, 24) = afd038</div><div>io      | ACPI: RSDT 0x7f6fd038 00038 (v01 INTEL  D945GLF2 000000E5      01000013)</div><div>io      | AcpiOsMapMemory(7f6fd038, 38) = afd038</div>
<div>io      | map mem: p=7f6fc000 v=afc000 s=1000: done</div><div>io      | AcpiOsMapMemory(7f6fc000, 24) = afc000</div><div>io      | ACPI: FACP 0x7f6fc000 00074 (v01 INTEL  D945GLF2 000000E5 MSFT 01000013)</div><div>io      | AcpiOsMapMemory(7f6fc000, 74) = afc000</div>
<div>io      | map mem: p=7f6f7000 v=af7000 s=1000: done</div><div>io      | AcpiOsMapMemory(7f6f7000, 24) = af7000</div><div>io      | ACPI: DSDT 0x7f6f7000 045EC (v01 INTEL  D945GLF2 000000E5 MSFT 01000013)</div><div>io      | map mem: p=7f6a3000 v=aa3000 s=1000: done</div>
<div>io      | AcpiOsMapMemory(7f6a3000, 24) = aa3000</div><div>io      | ACPI: FACS 0x7f6a3000 00040</div><div>io      | map mem: p=7f6f6000 v=af6000 s=1000: done</div><div>io      | AcpiOsMapMemory(7f6f6000, 24) = af6000</div>
<div>io      | ACPI: APIC 0x7f6f6000 00078 (v01 INTEL  D945GLF2 000000E5 MSFT 01000013)</div><div>io      | map mem: p=7f6f5000 v=af5000 s=1000: done</div><div>io      | AcpiOsMapMemory(7f6f5000, 24) = af5000</div><div>io      | ACPI: WDDT 0x7f6f5000 00040 (v01 INTEL  D945GLF2 000000E5 MSFT 01000013)</div>
<div>io      | map mem: p=7f6f4000 v=af4000 s=1000: done</div><div>io      | AcpiOsMapMemory(7f6f4000, 24) = af4000</div><div>io      | ACPI: MCFG 0x7f6f4000 0003C (v01 INTEL  D945GLF2 000000E5 MSFT 01000013)</div><div>io      | map mem: p=7f6f3000 v=af3000 s=1000: done</div>
<div>io      | AcpiOsMapMemory(7f6f3000, 24) = af3000</div><div>io      | ACPI: ASF! 0x7f6f3000 000A6 (v32 INTEL  D945GLF2 000000E5 MSFT 01000013)</div><div>io      | map mem: p=7f6f8000 v=af8000 s=4000: done</div><div>io      | AcpiOsMapMemory(7f6f7000, 45ec) = af7000</div>
<div>io      | Parsing all Control Methods:</div><div>io      | Table [DSDT](id 0001) - 562 Objects with 56 Devices 158 Methods 35 Regions</div><div>io      |  tbxface-0601 [02] TbLoadNamespace       : ACPI Tables successfully acquired</div>
<div>io      | enable ACPI subsystem</div><div>io      | evxfevnt-0184 [02] Enable                : Transition to ACPI mode successful</div><div>io      | AcpiOsMapMemory(7f6a3000, 40) = aa3000</div><div>io      | evgpeblk-1129 [04] EvCreateGpeBlock      : GPE 00 to 1F [_GPE] 4 regs on int 0x9</div>
<div>io      | /home/mayuresh/L4/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:57:AcpiOsInstallInterruptHandler: UNINPLEMENTED</div><div>io      | initialize ACPI objects</div><div>io      | Completing Region/Field/Buffer/Package initialization:..................................................................................</div>
<div>io      | Initialized 35/35 Regions 0/0 Fields 25/25 Buffers 22/22 Packages (571 nodes)</div><div>io      | Initializing Device/Processor/Thermal objects by executing _INI methods:</div><div>io      | Executed 1 _INI methods requiring 0 _STA executions (examined 62 objects)</div>
<div>io      | evgpeblk-1234 [03] EvInitializeGpeBlock  : Found 8 Wake, Enabled 3 Runtime GPEs in this block</div><div>io      | Interpreter enabled</div><div>io      | scanning for PCI root bridge</div><div>io      | Found PCI root bridge...</div>
<div>io      | Using IOAPIC for interrupt routing</div><div>io      | ACPI subsystem initialized</div><div>io      | ACPICA-Version:20091214, System in ACPI MODE, 32bit timer</div><div>io      | WARNING: phys mmio resource allocation failed</div>
<div>io      | IOMEM * [000000f8000000-000000febffffe 6bfffff] non-pref (32bit) (align=6bffffe flags=c002)</div><div>io      | WARNING: phys mmio resource allocation failed</div><div>io      | IOMEM * [000000f8000000-000000febffffe 6bfffff] non-pref (32bit) (align=6bffffe flags=c002)</div>
<div>io      | WARNING: phys mmio resource allocation failed</div><div>io      | IOMEM * [000000000e0000-000000000effff 10000] non-pref (32bit) (align=ffff flags=c002)</div><div>io      | WARNING: phys mmio resource allocation failed</div>
<div>io      | IOMEM * [000000000e0000-000000000effff 10000] non-pref (32bit) (align=ffff flags=c002)</div><div>io      | WARNING: phys mmio resource allocation failed</div><div>io      | IOMEM * [000000000a0000-000000000bffff 20000] non-pref (32bit) (align=1ffff flags=c002)</div>
<div>io      | WARNING: phys mmio resource allocation failed</div><div>io      | IOMEM * [000000000a0000-000000000bffff 20000] non-pref (32bit) (align=1ffff flags=c002)</div><div>io      | WARNING: ignoring ACPI recource (unkown type: 1)</div>
<div>io      | WARNING: ignoring ACPI recource (unkown type: 1)</div><div>io      | WARNING: ignoring ACPI recource (unkown type: 1)</div><div>io      | Loading: config &#39;rom/x86-legacy-min.devs&#39;</div><div>io      | WARNING: phys mmio resource allocation failed</div>
<div>io      | IOMEM   [000000000c0000-000000000fffff 40000] non-pref (32bit) (align=3ffff flags=c002)</div><div>io      | WARNING: phys mmio resource allocation failed</div><div>io      | IOMEM   [000000000c0000-000000000fffff 40000] non-pref (32bit) (align=3ffff flags=c002)</div>
<div>io      | WARNING: phys mmio resource allocation failed</div><div>io      | IOMEM   [0000000009f000-0000000009ffff 1000] non-pref (32bit) (align=fff flags=c002)</div><div>io      | WARNING: phys mmio resource allocation failed</div>
<div>io      | IOMEM   [0000000009f000-0000000009ffff 1000] non-pref (32bit) (align=fff flags=c002)</div><div>io      | WARNING: phys mmio resource allocation failed</div><div>io      | IOMEM   [00000000000000-00000000000fff 1000] non-pref (32bit) (align=fff flags=4002)</div>
<div>io      | WARNING: phys mmio resource allocation failed</div><div>io      | IOMEM   [00000000000000-00000000000fff 1000] non-pref (32bit) (align=fff flags=4002)</div><div>io      | ERROR: could not reserve resource</div>
<div>io      | IOMEM   [00000000000000-00000000000fff 1000] non-pref (32bit) (align=fff flags=4102)</div><div>io      | WARNING: phys mmio resource allocation failed</div><div>io      | IOMEM   [000000000a0000-000000000bffff 20000] non-pref (32bit) (align=1ffff flags=8c002)</div>
<div>io      | WARNING: phys mmio resource allocation failed</div><div>io      | IOMEM   [000000000a0000-000000000bffff 20000] non-pref (32bit) (align=1ffff flags=8c002)</div><div>io      | Loading: config &#39;rom/<a href="http://l4lx-x86-x2-pci.io">l4lx-x86-x2-pci.io</a>&#39;</div>
<div>io      | Add IRQ resources to vbus: IRQ     [0000000000000b-0000000000000b 1] rising edge (32bit) (align=0 flags=4001)</div><div>io      | Add IRQ resources to vbus: IRQ     [00000000000001-00000000000001 1] rising edge (32bit) (align=0 flags=4001)</div>
<div>io      | Add IRQ resources to vbus: IRQ     [0000000000000c-0000000000000c 1] rising edge (32bit) (align=0 flags=4001)</div><div>io      | Add IRQ resources to vbus: IRQ     [00000000000010-00000000000010 1] level low (32bit) (align=0 flags=304201)</div>
<div>io      | Add IRQ resources to vbus: IRQ     [00000000000013-00000000000013 1] level low (32bit) (align=0 flags=304201)</div><div>io      | Add IRQ resources to vbus: IRQ     [00000000000012-00000000000012 1] level low (32bit) (align=0 flags=304201)</div>
<div>io      | Add IRQ resources to vbus: IRQ     [0000000000000e-0000000000000e 1] rising edge (32bit) (align=0 flags=4001)</div><div>io      | Add IRQ resources to vbus: IRQ     [0000000000000f-0000000000000f 1] rising edge (32bit) (align=0 flags=4001)</div>
<div>io      | P6Device: l4linux &quot;&quot;</div><div>io      |   P6Device: vgadev &quot;PNP0900&quot;</div><div>io      |     IRQ     [0000000000000b-0000000000000b 1] rising edge (32bit) (align=0 flags=4001)</div><div>
io      |     IOPORT  [00000000000000-00000000000fff 1000] non-pref (32bit) (align=fff flags=4003)</div><div>io      |     IOPORT  [0000000000c000-0000000000c00f 10] non-pref (32bit) (align=f flags=4003)</div><div>io      |     IOMEM   [000000000a0000-000000000bffff 20000] non-pref (32bit) (align=1ffff flags=8c002)</div>
<div>io      |   P6Device: ps2 &quot;PNP0303&quot;</div><div>io      |     IRQ     [00000000000001-00000000000001 1] rising edge (32bit) (align=0 flags=4001)</div><div>io      |     IRQ     [0000000000000c-0000000000000c 1] rising edge (32bit) (align=0 flags=4001)</div>
<div>io      |   P6Device: bios &quot;BIOS&quot;</div><div>io      |     IOMEM   [0000000009f000-0000000009ffff 1000] non-pref (32bit) (align=fff flags=c002)</div><div>io      |     IOMEM   [000000000c0000-000000000fffff 40000] non-pref (32bit) (align=3ffff flags=c002)</div>
<div>io      |   P6Device: PCI0 &quot;PNP0A03&quot;</div><div>io      |     P6Device: host_bridge_dummy &quot;&quot;</div><div>io      |     P6Device: pci_gfx[0000] &quot;&quot;</div><div>io      |       IRQ     [00000000000010-00000000000010 1] level low (32bit) (align=0 flags=304201)</div>
<div>io      |       IOMEM   [00000090200000-0000009027ffff 80000] non-pref (32bit) (align=7ffff flags=4a02)</div><div>io      |       IOPORT  [000000000020e0-000000000020e7 8] non-pref (32bit) (align=7 flags=4a03)</div><div>
io      |       IOMEM   [00000080000000-0000008fffffff 10000000] pref (32bit) (align=fffffff flags=4e02)</div><div>io      |       IOMEM   [00000090280000-000000902bffff 40000] non-pref (32bit) (align=3ffff flags=4a02)</div>
<div>io      |     P6Device: pci_l4x[0000] &quot;&quot;</div><div>io      |       IRQ     [00000000000013-00000000000013 1] level low (32bit) (align=0 flags=304201)</div><div>io      |       IOPORT  [000000000020c8-000000000020cf 8] non-pref (32bit) (align=7 flags=4a03)</div>
<div>io      |       IOPORT  [000000000020ec-000000000020ef 4] non-pref (32bit) (align=3 flags=4a03)</div><div>io      |       IOPORT  [000000000020c0-000000000020c7 8] non-pref (32bit) (align=7 flags=4a03)</div><div>io      |       IOPORT  [000000000020e8-000000000020eb 4] non-pref (32bit) (align=3 flags=4a03)</div>
<div>io      |       IOPORT  [000000000020a0-000000000020af 10] non-pref (32bit) (align=f flags=4a03)</div><div>io      |     P6Device: pci_l4x[0001] &quot;&quot;</div><div>io      |       IRQ     [00000000000012-00000000000012 1] level low (32bit) (align=0 flags=304201)</div>
<div>io      |       IOPORT  [000000000001f0-000000000001f7 8] non-pref (32bit) (align=7 flags=4a03)</div><div>io      |       IOPORT  [000000000003f6-000000000003f6 1] non-pref (32bit) (align=0 flags=4a03)</div><div>io      |       IRQ     [0000000000000e-0000000000000e 1] rising edge (32bit) (align=0 flags=4001)</div>
<div>io      |       IOPORT  [00000000000170-00000000000177 8] non-pref (32bit) (align=7 flags=4a03)</div><div>io      |       IOPORT  [00000000000376-00000000000376 1] non-pref (32bit) (align=0 flags=4a03)</div><div>io      |       IRQ     [0000000000000f-0000000000000f 1] rising edge (32bit) (align=0 flags=4001)</div>
<div>io      |       IOPORT  [000000000020d8-000000000020df 8] non-pref (32bit) (align=7 flags=4a03)</div><div>io      |       IOPORT  [000000000020f4-000000000020f7 4] non-pref (32bit) (align=3 flags=4a03)</div><div>io      |       IOPORT  [000000000020d0-000000000020d7 8] non-pref (32bit) (align=7 flags=4a03)</div>
<div>io      |       IOPORT  [000000000020f0-000000000020f3 4] non-pref (32bit) (align=3 flags=4a03)</div><div>io      |       IOPORT  [000000000020b0-000000000020bf 10] non-pref (32bit) (align=f flags=4a03)</div><div>io      |     P6Device: pci_l4x[0002] &quot;&quot;</div>
<div>io      |       IRQ     [00000000000010-00000000000010 1] level low (32bit) (align=0 flags=304201)</div><div>io      |       IOPORT  [00000000001000-000000000010ff 100] non-pref (32bit) (align=ff flags=4a03)</div><div>
io      |       IOMEM   [00000090100000-00000090100fff 1000] non-pref (64bit) (align=fff flags=14a02)</div><div>io      |       IOMEM   [00000090000000-0000009000ffff 10000] pref (64bit) (align=ffff flags=14e02)</div><div>
io      |   P6Device: (noname) &quot;L40009&quot;</div><div>io      | Real Hardware -----------------------------------</div><div>io      | P6Device: System Bus &quot;&quot;</div><div>io      | Hw::Device[System Bus]</div>
<div>io      |   P6Device: SLPB &quot;PNP0C0E&quot;</div><div>io      |   Hw::Device[SLPB]</div><div>io      |   P6Device: PCI0 &quot;PNP0A03&quot;</div><div>io      |   Hw::Device[PCI0]</div><div>io      |     IOMEM * [00000080000000-000000efffffff 70000000] non-pref (32bit) (align=6fffffff flags=c002)</div>
<div>io      |     IOMEM * [000000f8000000-000000febffffe 6bfffff] non-pref (32bit) (align=6bffffe flags=c002)</div><div>io      |     IOMEM * [000000000e0000-000000000effff 10000] non-pref (32bit) (align=ffff flags=c002)</div>
<div>io      |     IOMEM * [000000000a0000-000000000bffff 20000] non-pref (32bit) (align=1ffff flags=c002)</div><div>io      |     IOPORT* [00000000000d00-0000000000ffff f300] non-pref (32bit) (align=f2ff flags=c003)</div>
<div>io      |     IOPORT* [00000000000000-00000000000cf7 cf8] non-pref (32bit) (align=cf7 flags=c003)</div><div>io      |     IOPORT  [00000000000cf8-00000000000cff 8] non-pref (32bit) (align=7 flags=c003)</div><div>io      |     BUS   * [00000000000000-000000000000ff 100] non-pref (32bit) (align=ff flags=c004)</div>
<div>io      |     PCI IRQ ROUTER: 18Pci_irq_router_resIN12_GLOBAL__N_122Acpi_pci_irq_router_rsEE (0x7c70)</div><div>io      |     P6Device: IOCM &quot;PNP0C02&quot;</div><div>io      |     Hw::Device[IOCM]</div><div>io      |       IOMEM   [000000000e0000-000000000fffff 20000] non-pref (32bit) (align=1ffff flags=c002)</div>
<div>io      |       IOMEM   [000000000c0000-000000000dffff 20000] non-pref (32bit) (align=1ffff flags=c002)</div><div>io      |       IOMEM   [000000fed45000-000000fed99fff 55000] non-pref (32bit) (align=54fff flags=c002)</div>
<div>io      |       IOMEM   [000000fed20000-000000fed3ffff 20000] non-pref (32bit) (align=1ffff flags=c002)</div><div>io      |       IOMEM   [000000fed1c000-000000fed1ffff 4000] non-pref (32bit) (align=3fff flags=c002)</div>
<div>io      |       IOMEM   [000000fed19000-000000fed19fff 1000] non-pref (32bit) (align=fff flags=c002)</div><div>io      |       IOMEM   [000000fed18000-000000fed18fff 1000] non-pref (32bit) (align=fff flags=c002)</div>
<div>io      |       IOMEM   [000000fed14000-000000fed17fff 4000] non-pref (32bit) (align=3fff flags=c002)</div><div>io      |       IOMEM   [000000fed13000-000000fed13fff 1000] non-pref (32bit) (align=fff flags=c002)</div>
<div>io      |       IOMEM   [000000f0000000-000000f3ffffff 4000000] non-pref (32bit) (align=3ffffff flags=c002)</div><div>io      |     P6Device: P32_ &quot;&quot;</div><div>io      |     Hw::Device[P32_]</div><div>io      |       0000:00:1e.0: PCI Bridge [1]</div>
<div>io      |                     0x8086 0x244e</div><div>io      |                     Intel Corporation 82801 PCI Bridge</div><div>io      |       IOPORT* [00000000000000-00000000000000 1] non-pref (32bit) (align=fff flags=5003)</div>
<div>io      |       IOMEM * [00000000000000-00000000000000 1] pref (64bit) (align=fffff flags=15402)</div><div>io      |       IOMEM * [00000000000000-00000000000000 1] non-pref (32bit) (align=fffff flags=5002)</div><div>
io      |       PCI IRQ ROUTER: 18Pci_irq_router_resIN12_GLOBAL__N_122Acpi_pci_irq_router_rsEE (0x3220)</div><div>io      |     P6Device: LPC_ &quot;&quot;</div><div>io      |     Hw::Device[LPC_]</div><div>io      |       0000:00:1f.0: ISA Bridge [128]</div>
<div>io      |                     0x8086 0x27b8</div><div>io      |                     Intel Corporation 82801GB/GR (ICH7 Family) LPC Interface Bridge</div><div>io      |       P6Device: LNKA &quot;PNP0C0F&quot;</div><div>
io      |       Hw::Device[LNKA]</div><div>io      |         IRQ     [0000000000000b-0000000000000b 1] level low (32bit) (align=0 flags=304001)</div><div>io      |       P6Device: LNKB &quot;PNP0C0F&quot;</div><div>io      |       Hw::Device[LNKB]</div>
<div>io      |       P6Device: LNKC &quot;PNP0C0F&quot;</div><div>io      |       Hw::Device[LNKC]</div><div>io      |         IRQ     [00000000000009-00000000000009 1] level low (32bit) (align=0 flags=304001)</div><div>io      |       P6Device: LNKD &quot;PNP0C0F&quot;</div>
<div>io      |       Hw::Device[LNKD]</div><div>io      |         IRQ     [0000000000000b-0000000000000b 1] level low (32bit) (align=0 flags=304001)</div><div>io      |       P6Device: LNKE &quot;PNP0C0F&quot;</div><div>io      |       Hw::Device[LNKE]</div>
<div>io      |       P6Device: LNKF &quot;PNP0C0F&quot;</div><div>io      |       Hw::Device[LNKF]</div><div>io      |       P6Device: LNKG &quot;PNP0C0F&quot;</div><div>io      |       Hw::Device[LNKG]</div><div>io      |         IRQ     [00000000000009-00000000000009 1] level low (32bit) (align=0 flags=304001)</div>
<div>io      |       P6Device: LNKH &quot;PNP0C0F&quot;</div><div>io      |       Hw::Device[LNKH]</div><div>io      |         IRQ     [0000000000000a-0000000000000a 1] level low (32bit) (align=0 flags=304001)</div><div>io      |       P6Device: DMAC &quot;PNP0200&quot;</div>
<div>io      |       Hw::Device[DMAC]</div><div>io      |         IOPORT  [000000000000c0-000000000000df 20] non-pref (32bit) (align=1f flags=c003)</div><div>io      |         IOPORT  [0000000000008f-0000000000008f 1] non-pref (32bit) (align=0 flags=c003)</div>
<div>io      |         IOPORT  [00000000000089-0000000000008b 3] non-pref (32bit) (align=2 flags=c003)</div><div>io      |         IOPORT  [00000000000087-00000000000087 1] non-pref (32bit) (align=0 flags=c003)</div><div>
io      |         IOPORT  [00000000000081-00000000000083 3] non-pref (32bit) (align=2 flags=c003)</div><div>io      |         IOPORT  [00000000000000-0000000000000f 10] non-pref (32bit) (align=f flags=c003)</div><div>io      |       P6Device: RTC_ &quot;PNP0B00&quot;</div>
<div>io      |       Hw::Device[RTC_]</div><div>io      |         IRQ     [00000000000008-00000000000008 1] rising edge (32bit) (align=0 flags=4001)</div><div>io      |         IOPORT  [00000000000074-00000000000077 4] non-pref (32bit) (align=3 flags=c003)</div>
<div>io      |         IOPORT  [00000000000070-00000000000071 2] non-pref (32bit) (align=1 flags=c003)</div><div>io      |       P6Device: PIC_ &quot;PNP0000&quot;</div><div>io      |       Hw::Device[PIC_]</div><div>io      |         IOPORT  [000000000004d0-000000000004d1 2] non-pref (32bit) (align=1 flags=c003)</div>
<div>io      |         IOPORT  [000000000000a0-000000000000bd 1e] non-pref (32bit) (align=1d flags=c003)</div><div>io      |         IOPORT  [00000000000020-0000000000003d 1e] non-pref (32bit) (align=1d flags=c003)</div><div>
io      |       P6Device: FPU_ &quot;PNP0C04&quot;</div><div>io      |       Hw::Device[FPU_]</div><div>io      |         IRQ     [0000000000000d-0000000000000d 1] rising edge (32bit) (align=0 flags=4001)</div><div>io      |         IOPORT  [000000000000f0-000000000000f0 1] non-pref (32bit) (align=0 flags=c003)</div>
<div>io      |       P6Device: TMR_ &quot;PNP0100&quot;</div><div>io      |       Hw::Device[TMR_]</div><div>io      |         IRQ     [00000000000000-00000000000000 1] rising edge (32bit) (align=0 flags=4001)</div><div>io      |         IOPORT  [00000000000050-00000000000053 4] non-pref (32bit) (align=3 flags=c003)</div>
<div>io      |         IOPORT  [00000000000040-00000000000043 4] non-pref (32bit) (align=3 flags=c003)</div><div>io      |       P6Device: SPKR &quot;PNP0800&quot;</div><div>io      |       Hw::Device[SPKR]</div><div>io      |         IOPORT  [00000000000061-00000000000061 1] non-pref (32bit) (align=0 flags=c003)</div>
<div>io      |       P6Device: XTRA &quot;PNP0C02&quot;</div><div>io      |       Hw::Device[XTRA]</div><div>io      |         IOPORT  [00000000000090-0000000000009f 10] non-pref (32bit) (align=f flags=c003)</div><div>io      |         IOPORT  [0000000000008c-0000000000008e 3] non-pref (32bit) (align=2 flags=c003)</div>
<div>io      |         IOPORT  [00000000000088-00000000000088 1] non-pref (32bit) (align=0 flags=c003)</div><div>io      |         IOPORT  [00000000000084-00000000000086 3] non-pref (32bit) (align=2 flags=c003)</div><div>
io      |         IOPORT  [00000000000080-00000000000080 1] non-pref (32bit) (align=0 flags=c003)</div><div>io      |         IOPORT  [00000000000072-00000000000073 2] non-pref (32bit) (align=1 flags=c003)</div><div>io      |         IOPORT  [00000000000010-0000000000001f 10] non-pref (32bit) (align=f flags=c003)</div>
<div>io      |         IOPORT  [00000000000680-000000000006ff 80] non-pref (32bit) (align=7f flags=c003)</div><div>io      |         IOPORT  [00000000000092-00000000000092 1] non-pref (32bit) (align=0 flags=c003)</div><div>
io      |         IOPORT  [00000000000400-0000000000047f 80] non-pref (32bit) (align=7f flags=c003)</div><div>io      |         IOPORT  [00000000000500-0000000000053f 40] non-pref (32bit) (align=3f flags=c003)</div><div>io      |       P6Device: TPM_ &quot;PNP0C31&quot;</div>
<div>io      |       Hw::Device[TPM_]</div><div>io      |         IOMEM   [000000fed40000-000000fed44fff 5000] non-pref (32bit) (align=4fff flags=c002)</div><div>io      |       P6Device: XTR2 &quot;PNP0C02&quot;</div><div>
io      |       Hw::Device[XTR2]</div><div>io      |         IOPORT  [00000000000064-00000000000064 1] non-pref (32bit) (align=0 flags=c003)</div><div>io      |         IOPORT  [00000000000060-00000000000060 1] non-pref (32bit) (align=0 flags=c003)</div>
<div>io      |       P6Device: FDC0 &quot;PNP0700&quot;</div><div>io      |       Hw::Device[FDC0]</div><div>io      |         IRQ     [00000000000006-00000000000006 1] rising edge (32bit) (align=0 flags=4001)</div><div>io      |         IOPORT  [00000000000000-00000000000000 1] non-pref (32bit) (align=0 flags=c003)</div>
<div>io      |         IOPORT  [00000000000000-00000000000005 6] non-pref (32bit) (align=5 flags=c003)</div><div>io      |       P6Device: LPT_ &quot;PNP0400&quot;</div><div>io      |       Hw::Device[LPT_]</div><div>io      |         IRQ     [00000000000007-00000000000007 1] rising edge (32bit) (align=0 flags=4001)</div>
<div>io      |         IOPORT  [00000000000378-0000000000037f 8] non-pref (32bit) (align=7 flags=c003)</div><div>io      |       P6Device: ECP_ &quot;PNP0401&quot;</div><div>io      |       Hw::Device[ECP_]</div><div>io      |         IRQ     [00000000000007-00000000000007 1] rising edge (32bit) (align=0 flags=4001)</div>
<div>io      |         IOPORT  [00000000000778-0000000000077f 8] non-pref (32bit) (align=7 flags=c003)</div><div>io      |         IOPORT  [00000000000378-0000000000037f 8] non-pref (32bit) (align=7 flags=c003)</div><div>
io      |       P6Device: PS2M &quot;PNP0F03&quot;</div><div>io      |       Hw::Device[PS2M]</div><div>io      |         IRQ     [0000000000000c-0000000000000c 1] rising edge (32bit) (align=0 flags=4001)</div><div>io      |         IOPORT  [00000000000064-00000000000064 1] non-pref (32bit) (align=0 flags=c003)</div>
<div>io      |         IOPORT  [00000000000060-00000000000060 1] non-pref (32bit) (align=0 flags=c003)</div><div>io      |       P6Device: PS2K &quot;PNP0303&quot;</div><div>io      |       Hw::Device[PS2K]</div><div>io      |         IRQ     [00000000000001-00000000000001 1] rising edge (32bit) (align=0 flags=4001)</div>
<div>io      |         IOPORT  [00000000000064-00000000000064 1] non-pref (32bit) (align=0 flags=c003)</div><div>io      |         IOPORT  [00000000000060-00000000000060 1] non-pref (32bit) (align=0 flags=c003)</div><div>
io      |       P6Device: UAR1 &quot;PNP0501&quot;</div><div>io      |       Hw::Device[UAR1]</div><div>io      |         IRQ     [00000000000004-00000000000004 1] rising edge (32bit) (align=0 flags=4001)</div><div>io      |         IOPORT  [000000000003f8-000000000003ff 8] non-pref (32bit) (align=7 flags=c003)</div>
<div>io      |       P6Device: UAR2 &quot;PNP0501&quot;</div><div>io      |       Hw::Device[UAR2]</div><div>io      |         IRQ     [00000000000003-00000000000003 1] rising edge (32bit) (align=0 flags=4001)</div><div>io      |         IOPORT  [00000000000000-00000000000007 8] non-pref (32bit) (align=7 flags=c003)</div>
<div>io      |       P6Device: IELK &quot;AWY0001&quot;</div><div>io      |       Hw::Device[IELK]</div><div>io      |     P6Device: PEX0 &quot;&quot;</div><div>io      |     Hw::Device[PEX0]</div><div>io      |       0000:00:1c.0: PCI Bridge [129]</div>
<div>io      |                     0x8086 0x27d0</div><div>io      |                     Intel Corporation N10/ICH 7 Family PCI Express Port 1</div><div>io      |       IRQ     [00000000000011-00000000000011 1] level low (32bit) (align=0 flags=304201)</div>
<div>io      |       IOPORT* [00000000001000-00000000001fff 1000] non-pref (32bit) (align=fff flags=4003)</div><div>io      |       IOMEM * [00000090000000-000000900fffff 100000] pref (64bit) (align=fffff flags=14402)</div>
<div>io      |       IOMEM * [00000090100000-000000901fffff 100000] non-pref (32bit) (align=fffff flags=4002)</div><div>io      |       PCI IRQ ROUTER: 18Pci_irq_router_resIN12_GLOBAL__N_122Acpi_pci_irq_router_rsEE (0x13d48)</div>
<div>io      |       P6Device:  &quot;&quot;</div><div>io      |       Hw::Device[]</div><div>io      |         0000:01:00.0: network controller [0]</div><div>io      |                       0x10ec 0x8168</div><div>io      |                       Realtek Semiconductor Co., Ltd. RTL8111/8168B PCI Express Gigabit Ethernet cont</div>
<div>io      |         IOMEM   [00000090000000-0000009000ffff 10000] pref (64bit) (align=ffff flags=14e02)</div><div>io      |         IOMEM   [00000090100000-00000090100fff 1000] non-pref (64bit) (align=fff flags=14a02)</div>
<div>io      |         IOPORT  [00000000001000-000000000010ff 100] non-pref (32bit) (align=ff flags=4a03)</div><div>io      |         IRQ     [00000000000010-00000000000010 1] level low (32bit) (align=0 flags=304201)</div>
<div>io      |     P6Device: PEX1 &quot;&quot;</div><div>io      |     Hw::Device[PEX1]</div><div>io      |     P6Device: PEX2 &quot;&quot;</div><div>io      |     Hw::Device[PEX2]</div><div>io      |       0000:00:1c.2: PCI Bridge [129]</div>
<div>io      |                     0x8086 0x27d4</div><div>io      |                     Intel Corporation N10/ICH 7 Family PCI Express Port 3</div><div>io      |       IRQ     [00000000000012-00000000000012 1] level low (32bit) (align=0 flags=304201)</div>
<div>io      |       IOPORT* [00000000000000-00000000000000 1] non-pref (32bit) (align=fff flags=5003)</div><div>io      |       IOMEM * [00000000000000-00000000000000 1] pref (64bit) (align=fffff flags=15402)</div><div>io      |       IOMEM * [00000000000000-00000000000000 1] non-pref (32bit) (align=fffff flags=5002)</div>
<div>io      |       PCI IRQ ROUTER: 18Pci_irq_router_resIN12_GLOBAL__N_122Acpi_pci_irq_router_rsEE (0x13e88)</div><div>io      |     P6Device: PEX3 &quot;&quot;</div><div>io      |     Hw::Device[PEX3]</div><div>io      |       0000:00:1c.3: PCI Bridge [129]</div>
<div>io      |                     0x8086 0x27d6</div><div>io      |                     Intel Corporation N10/ICH 7 Family PCI Express Port 4</div><div>io      |       IRQ     [00000000000013-00000000000013 1] level low (32bit) (align=0 flags=304201)</div>
<div>io      |       IOPORT* [00000000000000-00000000000000 1] non-pref (32bit) (align=fff flags=5003)</div><div>io      |       IOMEM * [00000000000000-00000000000000 1] pref (64bit) (align=fffff flags=15402)</div><div>io      |       IOMEM * [00000000000000-00000000000000 1] non-pref (32bit) (align=fffff flags=5002)</div>
<div>io      |       PCI IRQ ROUTER: 18Pci_irq_router_resIN12_GLOBAL__N_122Acpi_pci_irq_router_rsEE (0x13fc8)</div><div>io      |     P6Device: PEX4 &quot;&quot;</div><div>io      |     Hw::Device[PEX4]</div><div>io      |     P6Device: PEX5 &quot;&quot;</div>
<div>io      |     Hw::Device[PEX5]</div><div>io      |     P6Device: APIC &quot;PNP0003&quot;</div><div>io      |     Hw::Device[APIC]</div><div>io      |       IOMEM   [000000fec00000-000000fec000ff 100] non-pref (32bit) (align=ff flags=c002)</div>
<div>io      |     P6Device: HPET &quot;PNP0103&quot;</div><div>io      |     Hw::Device[HPET]</div><div>io      |       IOMEM   [000000fed00000-000000fed003ff 400] non-pref (32bit) (align=3ff flags=c002)</div><div>io      |     P6Device: UHC1 &quot;&quot;</div>
<div>io      |     Hw::Device[UHC1]</div><div>io      |       0000:00:1d.0: serial bus controller [128]</div><div>io      |                     0x8086 0x27c8</div><div>io      |                     Intel Corporation N10/ICH 7 Family USB UHCI Controller #1</div>
<div>io      |       IOPORT  [00000000002080-0000000000209f 20] non-pref (32bit) (align=1f flags=4a03)</div><div>io      |       IRQ     [00000000000017-00000000000017 1] level low (32bit) (align=0 flags=304201)</div><div>
io      |     P6Device: UHC2 &quot;&quot;</div><div>io      |     Hw::Device[UHC2]</div><div>io      |       0000:00:1d.1: serial bus controller [0]</div><div>io      |                     0x8086 0x27c9</div><div>io      |                     Intel Corporation N10/ICH 7 Family USB UHCI Controller #2</div>
<div>io      |       IOPORT  [00000000002060-0000000000207f 20] non-pref (32bit) (align=1f flags=4a03)</div><div>io      |       IRQ     [00000000000013-00000000000013 1] level low (32bit) (align=0 flags=304201)</div><div>
io      |     P6Device: UHC3 &quot;&quot;</div><div>io      |     Hw::Device[UHC3]</div><div>io      |       0000:00:1d.2: serial bus controller [0]</div><div>io      |                     0x8086 0x27ca</div><div>io      |                     Intel Corporation N10/ICH 7 Family USB UHCI Controller #3</div>
<div>io      |       IOPORT  [00000000002040-0000000000205f 20] non-pref (32bit) (align=1f flags=4a03)</div><div>io      |       IRQ     [00000000000012-00000000000012 1] level low (32bit) (align=0 flags=304201)</div><div>
io      |     P6Device: UHC4 &quot;&quot;</div><div>io      |     Hw::Device[UHC4]</div><div>io      |       0000:00:1d.3: serial bus controller [0]</div><div>io      |                     0x8086 0x27cb</div><div>io      |                     Intel Corporation N10/ICH 7 Family USB UHCI Controller #4</div>
<div>io      |       IOPORT  [00000000002020-0000000000203f 20] non-pref (32bit) (align=1f flags=4a03)</div><div>io      |       IRQ     [00000000000010-00000000000010 1] level low (32bit) (align=0 flags=304201)</div><div>
io      |     P6Device: EHCI &quot;&quot;</div><div>io      |     Hw::Device[EHCI]</div><div>io      |       0000:00:1d.7: serial bus controller [0]</div><div>io      |                     0x8086 0x27cc</div><div>io      |                     Intel Corporation N10/ICH 7 Family USB2 EHCI Controller</div>
<div>io      |       IOMEM   [000000902c4000-000000902c43ff 400] non-pref (32bit) (align=3ff flags=4a02)</div><div>io      |       IRQ     [00000000000017-00000000000017 1] level low (32bit) (align=0 flags=304201)</div><div>
io      |     P6Device: AC9M &quot;&quot;</div><div>io      |     Hw::Device[AC9M]</div><div>io      |     P6Device: AZAL &quot;&quot;</div><div>io      |     Hw::Device[AZAL]</div><div>io      |       0000:00:1b.0: multimedia device [0]</div>
<div>io      |                     0x8086 0x27d8</div><div>io      |                     Intel Corporation N10/ICH 7 Family High Definition Audio Controller</div><div>io      |       IOMEM   [000000902c0000-000000902c3fff 4000] non-pref (64bit) (align=3fff flags=14a02)</div>
<div>io      |       IRQ     [00000000000016-00000000000016 1] level low (32bit) (align=0 flags=304201)</div><div>io      |     P6Device: IDEC &quot;&quot;</div><div>io      |     Hw::Device[IDEC]</div><div>io      |       0000:00:1f.1: mass storage contoller [0]</div>
<div>io      |                     0x8086 0x27df</div><div>io      |                     Intel Corporation 82801G (ICH7 Family) IDE Controller</div><div>io      |       IOPORT  [000000000020b0-000000000020bf 10] non-pref (32bit) (align=f flags=4a03)</div>
<div>io      |       IOPORT  [000000000020f0-000000000020f3 4] non-pref (32bit) (align=3 flags=4a03)</div><div>io      |       IOPORT  [000000000020d0-000000000020d7 8] non-pref (32bit) (align=7 flags=4a03)</div><div>io      |       IOPORT  [000000000020f4-000000000020f7 4] non-pref (32bit) (align=3 flags=4a03)</div>
<div>io      |       IOPORT  [000000000020d8-000000000020df 8] non-pref (32bit) (align=7 flags=4a03)</div><div>io      |       IRQ     [0000000000000f-0000000000000f 1] rising edge (32bit) (align=0 flags=4001)</div><div>io      |       IOPORT  [00000000000376-00000000000376 1] non-pref (32bit) (align=0 flags=4a03)</div>
<div>io      |       IOPORT  [00000000000170-00000000000177 8] non-pref (32bit) (align=7 flags=4a03)</div><div>io      |       IRQ     [0000000000000e-0000000000000e 1] rising edge (32bit) (align=0 flags=4001)</div><div>io      |       IOPORT  [000000000003f6-000000000003f6 1] non-pref (32bit) (align=0 flags=4a03)</div>
<div>io      |       IOPORT  [000000000001f0-000000000001f7 8] non-pref (32bit) (align=7 flags=4a03)</div><div>io      |       IRQ     [00000000000012-00000000000012 1] level low (32bit) (align=0 flags=304201)</div><div>io      |       P6Device: PRID &quot;&quot;</div>
<div>io      |       Hw::Device[PRID]</div><div>io      |         P6Device: P_D0 &quot;&quot;</div><div>io      |         Hw::Device[P_D0]</div><div>io      |         P6Device: P_D1 &quot;&quot;</div><div>io      |         Hw::Device[P_D1]</div>
<div>io      |     P6Device: IDES &quot;&quot;</div><div>io      |     Hw::Device[IDES]</div><div>io      |       0000:00:1f.2: mass storage contoller [0]</div><div>io      |                     0x8086 0x27c0</div><div>io      |                     Intel Corporation N10/ICH7 Family SATA IDE Controller</div>
<div>io      |       IOPORT  [000000000020a0-000000000020af 10] non-pref (32bit) (align=f flags=4a03)</div><div>io      |       IOPORT  [000000000020e8-000000000020eb 4] non-pref (32bit) (align=3 flags=4a03)</div><div>io      |       IOPORT  [000000000020c0-000000000020c7 8] non-pref (32bit) (align=7 flags=4a03)</div>
<div>io      |       IOPORT  [000000000020ec-000000000020ef 4] non-pref (32bit) (align=3 flags=4a03)</div><div>io      |       IOPORT  [000000000020c8-000000000020cf 8] non-pref (32bit) (align=7 flags=4a03)</div><div>io      |       IRQ     [00000000000013-00000000000013 1] level low (32bit) (align=0 flags=304201)</div>
<div>io      |       P6Device: PRID &quot;&quot;</div><div>io      |       Hw::Device[PRID]</div><div>io      |         P6Device: P_D0 &quot;&quot;</div><div>io      |         Hw::Device[P_D0]</div><div>io      |         P6Device: P_D1 &quot;&quot;</div>
<div>io      |         Hw::Device[P_D1]</div><div>io      |       P6Device: SECD &quot;&quot;</div><div>io      |       Hw::Device[SECD]</div><div>io      |         P6Device: S_D0 &quot;&quot;</div><div>io      |         Hw::Device[S_D0]</div>
<div>io      |         P6Device: S_D1 &quot;&quot;</div><div>io      |         Hw::Device[S_D1]</div><div>io      |     P6Device:  &quot;&quot;</div><div>io      |     Hw::Device[]</div><div>io      |       0000:00:00.0: Host/PCI Bridge [0]</div>
<div>io      |                     0x8086 0x2770</div><div>io      |                     Intel Corporation 82945G/GZ/P/PL Memory Controller Hub</div><div>io      |     P6Device:  &quot;&quot;</div><div>io      |     Hw::Device[]</div>
<div>io      |       0000:00:02.0: display controller [0]</div><div>io      |                     0x8086 0x2772</div><div>io      |                     Intel Corporation 82945G/GZ Integrated Graphics Controller</div><div>
io      |       IOMEM   [00000090280000-000000902bffff 40000] non-pref (32bit) (align=3ffff flags=4a02)</div><div>io      |       IOMEM   [00000080000000-0000008fffffff 10000000] pref (32bit) (align=fffffff flags=4e02)</div>
<div>io      |       IOPORT  [000000000020e0-000000000020e7 8] non-pref (32bit) (align=7 flags=4a03)</div><div>io      |       IOMEM   [00000090200000-0000009027ffff 80000] non-pref (32bit) (align=7ffff flags=4a02)</div><div>
io      |       IRQ     [00000000000010-00000000000010 1] level low (32bit) (align=0 flags=304201)</div><div>io      |     P6Device:  &quot;&quot;</div><div>io      |     Hw::Device[]</div><div>io      |       0000:00:1f.3: serial bus controller [0]</div>
<div>io      |                     0x8086 0x27da</div><div>io      |                     Intel Corporation N10/ICH 7 Family SMBus Controller</div><div>io      |       IOPORT  [00000000002000-0000000000201f 20] non-pref (32bit) (align=1f flags=4a03)</div>
<div>io      |       IRQ     [00000000000013-00000000000013 1] level low (32bit) (align=0 flags=304201)</div><div>io      |   P6Device: PS2 &quot;PNP0303&quot;</div><div>io      |   Hw::Device[PS2]</div><div>io      |     IRQ     [0000000000000c-0000000000000c 1] rising edge (32bit) (align=0 flags=4001)</div>
<div>io      |     IRQ     [00000000000001-00000000000001 1] rising edge (32bit) (align=0 flags=4001)</div><div>io      |   P6Device: BIOS &quot;BIOS&quot;</div><div>io      |   Hw::Device[BIOS]</div><div>io      |     IOMEM   [000000000c0000-000000000fffff 40000] non-pref (32bit) (align=3ffff flags=c002)</div>
<div>io      |     IOMEM   [0000000009f000-0000000009ffff 1000] non-pref (32bit) (align=fff flags=c002)</div><div>io      |     IOMEM   [00000000000000-00000000000fff 1000] non-pref (32bit) (align=fff flags=4102)</div><div>
io      |   P6Device: VGA &quot;PNP0900&quot;</div><div>io      |   Hw::Device[VGA]</div><div>io      |     IOMEM   [000000000a0000-000000000bffff 20000] non-pref (32bit) (align=1ffff flags=8c002)</div><div>io      |     IOPORT  [0000000000c000-0000000000c00f 10] non-pref (32bit) (align=f flags=4003)</div>
<div>io      |     IOPORT  [00000000000000-00000000000fff 1000] non-pref (32bit) (align=fff flags=4003)</div><div>io      |     IRQ     [0000000000000b-0000000000000b 1] rising edge (32bit) (align=0 flags=4001)</div><div>
io      | Ready. Waiting for request.</div><div>l4linux | PH  0 (t:        1) offs=00001000 vaddr=00400000 vend=007de000</div><div>l4linux |                     phys=00400000 ephys=007de000</div><div>l4linux |                     f_sz=003de000 memsz=003de000 flgs=r-x</div>
<div>l4linux | PH  1 (t:        1) offs=003df000 vaddr=007de000 vend=008fa000</div><div>l4linux |                     phys=007de000 ephys=008fa000</div><div>l4linux |                     f_sz=00070000 memsz=0011c000 flgs=rw-</div>
<div>l4linux | PH  2 (t:        4) offs=00302a90 vaddr=00701a90 vend=00701ab4</div><div>l4linux |                     phys=00701a90 ephys=00701ab4</div><div>l4linux |                     f_sz=00000024 memsz=00000024 flgs=---</div>
<div>l4linux | Starting binary at 0x400000, argc=6 argv=0x80007f90 *argv=0xb1007ff4 argv0=rom/vmlinuz</div><div>l4linux | External resolver is at 0xa80006d0</div><div>l4linux | ======&gt; L4Linux 2.6 starting... &lt;========</div>
<div>l4linux | Linux version 3.0.0-l4-svn23 (root@mayuresh) (gcc version 4.6.3 (Ubuntu/Linaro 4.6.3-1ubuntu5) ) #16 SMP Wed Jul 25 17:05:02 CEST 2012</div><div>l4linux | Binary name: rom/vmlinuz</div><div>l4linux | Linux kernel command line (5 args): mem=800M earlyprintk=yes l4x_rd=rom/squeezesmall-x.img root=1:0 ramdisk_size=400000</div>
<div>l4linux | CPU mapping (l:p)[1]: 0:0</div><div>l4linux | Image: 00400000 - 008fa000 [5096 KiB].</div><div>l4linux | Areas: Text:     00400000 - 007de000 [3960kB] (a bit longer)</div><div>l4linux |        Data:     007de000 - 008102a0 [200kB]</div>
<div>l4linux |        Initdata: 00811000 - 00848000 [220kB]</div><div>l4linux |        BSS:      0084e000 - 008ea000 [624kB]</div><div>io      | map mem: p=a0000 v=4a0000 s=20000: done</div><div>l4linux | gs=43   fs=43</div>
<div>l4linux | Device scan:</div><div>l4linux |   Device: PNP0900</div><div>l4linux |     IRQ: 0000000b - 0000000b</div><div>io      | request resource: IOPORT  [0000000000000b-0000000000000b 1] non-pref (32bit) (align=0 flags=4003)</div>
<div>io      | </div><div>l4linux |     PORT: 00000000 - 00000fff</div><div>io      | request resource: IOPORT  [00000000000000-00000000000fff 1000] non-pref (32bit) (align=fff flags=4003)</div><div>io      | </div><div>l4linux |     PORT: 0000c000 - 0000c00f</div>
<div>io      | request resource: IOPORT  [0000000000c000-0000000000c00f 10] non-pref (32bit) (align=f flags=4003)</div><div>io      | </div><div>l4linux |     MEM: 000a0000 - 000bffff</div><div>io      | request resource: IOPORT  [000000000a0000-000000000bffff 20000] non-pref (32bit) (align=1ffff flags=4003)</div>
<div>io      | </div><div>l4linux |   Device: PNP0303</div><div>l4linux |     IRQ: 00000001 - 00000001</div><div>io      | request resource: IOPORT  [00000000000001-00000000000001 1] non-pref (32bit) (align=0 flags=4003)</div>
<div>io      | </div><div>l4linux |     IRQ: 0000000c - 0000000c</div><div>io      | request resource: IOPORT  [0000000000000c-0000000000000c 1] non-pref (32bit) (align=0 flags=4003)</div><div>io      | </div><div>l4linux |   Device: BIOS</div>
<div>l4linux |     MEM: 0009f000 - 0009ffff</div><div>io      | request resource: IOPORT  [0000000009f000-0000000009ffff 1000] non-pref (32bit) (align=fff flags=4003)</div><div>io      | </div><div>l4linux |     MEM: 000c0000 - 000fffff</div>
<div>io      | request resource: IOPORT  [000000000c0000-000000000fffff 40000] non-pref (32bit) (align=3ffff flags=4003)</div><div>io      | </div><div>l4linux |   Device: </div><div>l4linux |     IRQ: 00000010 - 00000010</div>
<div>io      | request resource: IOPORT  [00000000000010-00000000000010 1] non-pref (32bit) (align=0 flags=4003)</div><div>io      | </div><div>l4linux |     MEM: 90200000 - 9027ffff</div><div>io      | request resource: IOPORT  [00000090200000-0000009027ffff 80000] non-pref (32bit) (align=7ffff flags=4003)</div>
<div>io      | </div><div>l4linux |     PORT: 000020e0 - 000020e7</div><div>io      | request resource: IOPORT  [000000000020e0-000000000020e7 8] non-pref (32bit) (align=7 flags=4003)</div><div>io      | </div><div>l4linux |     MEM: 80000000 - 8fffffff</div>
<div>io      | request resource: IOPORT  [00000080000000-0000008fffffff 10000000] non-pref (32bit) (align=fffffff flags=4003)</div><div>io      | </div><div>l4linux |     MEM: 90280000 - 902bffff</div><div>io      | request resource: IOPORT  [00000090280000-000000902bffff 40000] non-pref (32bit) (align=3ffff flags=4003)</div>
<div>io      | </div><div>l4linux |   Device: </div><div>l4linux |     IRQ: 00000013 - 00000013</div><div>io      | request resource: IOPORT  [00000000000013-00000000000013 1] non-pref (32bit) (align=0 flags=4003)</div><div>
io      | </div><div>l4linux |     PORT: 000020c8 - 000020cf</div><div>io      | request resource: IOPORT  [000000000020c8-000000000020cf 8] non-pref (32bit) (align=7 flags=4003)</div><div>io      | </div><div>l4linux |     PORT: 000020ec - 000020ef</div>
<div>io      | request resource: IOPORT  [000000000020ec-000000000020ef 4] non-pref (32bit) (align=3 flags=4003)</div><div>io      | </div><div>l4linux |     PORT: 000020c0 - 000020c7</div><div>io      | request resource: IOPORT  [000000000020c0-000000000020c7 8] non-pref (32bit) (align=7 flags=4003)</div>
<div>io      | </div><div>l4linux |     PORT: 000020e8 - 000020eb</div><div>io      | request resource: IOPORT  [000000000020e8-000000000020eb 4] non-pref (32bit) (align=3 flags=4003)</div><div>io      | </div><div>l4linux |     PORT: 000020a0 - 000020af</div>
<div>io      | request resource: IOPORT  [000000000020a0-000000000020af 10] non-pref (32bit) (align=f flags=4003)</div><div>io      | </div><div>l4linux |   Device: </div><div>l4linux |     IRQ: 00000012 - 00000012</div><div>
io      | request resource: IOPORT  [00000000000012-00000000000012 1] non-pref (32bit) (align=0 flags=4003)</div><div>io      | </div><div>l4linux |     PORT: 000001f0 - 000001f7</div><div>io      | request resource: IOPORT  [000000000001f0-000000000001f7 8] non-pref (32bit) (align=7 flags=4003)</div>
<div>io      | </div><div>l4linux |     PORT: 000003f6 - 000003f6</div><div>io      | request resource: IOPORT  [000000000003f6-000000000003f6 1] non-pref (32bit) (align=0 flags=4003)</div><div>io      | </div><div>l4linux |     IRQ: 0000000e - 0000000e</div>
<div>io      | request resource: IOPORT  [0000000000000e-0000000000000e 1] non-pref (32bit) (align=0 flags=4003)</div><div>io      | </div><div>l4linux |     PORT: 00000170 - 00000177</div><div>io      | request resource: IOPORT  [00000000000170-00000000000177 8] non-pref (32bit) (align=7 flags=4003)</div>
<div>io      | </div><div>l4linux |     PORT: 00000376 - 00000376</div><div>io      | request resource: IOPORT  [00000000000376-00000000000376 1] non-pref (32bit) (align=0 flags=4003)</div><div>io      | </div><div>l4linux |     IRQ: 0000000f - 0000000f</div>
<div>io      | request resource: IOPORT  [0000000000000f-0000000000000f 1] non-pref (32bit) (align=0 flags=4003)</div><div>io      | </div><div>l4linux |     PORT: 000020d8 - 000020df</div><div>io      | request resource: IOPORT  [000000000020d8-000000000020df 8] non-pref (32bit) (align=7 flags=4003)</div>
<div>io      | </div><div>l4linux |     PORT: 000020f4 - 000020f7</div><div>io      | request resource: IOPORT  [000000000020f4-000000000020f7 4] non-pref (32bit) (align=3 flags=4003)</div><div>io      | </div><div>l4linux |     PORT: 000020d0 - 000020d7</div>
<div>io      | request resource: IOPORT  [000000000020d0-000000000020d7 8] non-pref (32bit) (align=7 flags=4003)</div><div>io      | </div><div>l4linux |     PORT: 000020f0 - 000020f3</div><div>io      | request resource: IOPORT  [000000000020f0-000000000020f3 4] non-pref (32bit) (align=3 flags=4003)</div>
<div>io      | </div><div>l4linux |     PORT: 000020b0 - 000020bf</div><div>io      | request resource: IOPORT  [000000000020b0-000000000020bf 10] non-pref (32bit) (align=f flags=4003)</div><div>io      | </div><div>l4linux |   Device: </div>
<div>l4linux |     IRQ: 00000010 - 00000010</div><div>io      | request resource: IOPORT  [00000000000010-00000000000010 1] non-pref (32bit) (align=0 flags=4003)</div><div>io      | </div><div>l4linux |     PORT: 00001000 - 000010ff</div>
<div>io      | request resource: IOPORT  [00000000001000-000000000010ff 100] non-pref (32bit) (align=ff flags=4003)</div><div>io      | </div><div>l4linux |     MEM: 90100000 - 90100fff</div><div>io      | request resource: IOPORT  [00000090100000-00000090100fff 1000] non-pref (32bit) (align=fff flags=4003)</div>
<div>io      | </div><div>l4linux |     MEM: 90000000 - 9000ffff</div><div>io      | request resource: IOPORT  [00000090000000-0000009000ffff 10000] non-pref (32bit) (align=ffff flags=4003)</div><div>io      | </div><div>
l4linux | l4x_fiasco_gdt_entry_offset = 9</div><div>l4linux | rtc not found</div><div>l4linux | WARNING: RTC server does not seem there!</div><div>l4linux | l4lx_thread_create: Created thread 416 (cpu0) (u:b3000400, v:b3000600, sp:007dfff4)</div>
<div>l4linux | main thread will be 416</div><div>l4linux | l4x_register_pointer_section: addr = 007de000 size = 1163264</div><div>l4linux | section-with-init: virt: 0x7de000 to 0x8f9fff [1136 KiB]</div><div>l4linux | section-with-init: Phys: 0x00a41000 to 0x00b5d000, Size:  1163264</div>
<div>l4linux | l4x_linux_startup: thread 416.</div><div>l4linux | Main thread running, waiting...</div><div>l4linux | main thread: received startup message.</div><div>l4linux | WARNING: Unknown wrmsr: 0000008b at 0x6f7d1f</div>
<div>l4linux | WARNING: Unknown rdmsr: 0000008b at 0x6f7d27</div><div>l4linux | l4x_setup_memory: Forcing superpages for main memory</div><div>l4linux | l4re_global_env: 0xb1007f04</div><div>l4linux | Main memory size: 800MB</div>
<div>l4linux |     Main memory: virt: 0xc00000 to 0x32bfffff [819200 KiB]</div><div>l4linux |     Main memory: Phys: 0x1a800000 to 0x4c800000, Size: 838860800</div><div>l4linux | Filling lower ptabs...</div><div>l4linux | Done (1533 entries).</div>
<div>l4linux | l4x_register_pointer_section: addr = 007de000 size = 1163264</div><div>l4linux |             end: virt: 0x7de000 to 0x8f9fff [1136 KiB]</div><div>l4linux |             end: Phys: 0x00a41000 to 0x00b5d000, Size:  1163264</div>
<div>l4linux | l4x_rd_path: rom/squeezesmall-x.img</div><div>l4linux | Loading: rom/squeezesmall-x.img</div><div>l4linux | INITRD: Size of RAMdisk is 393216KiB</div><div>l4linux | RAMdisk from 3ac00000 to 52c00000 [393216KiB]</div>
<div>Linux version 3.0.0-l4-svn23 (root@mayuresh) (gcc version 4.6.3 (Ubuntu/Linaro 4.6.3-1ubuntu5) ) #16 SMP Wed Jul 25 17:05:02 CEST 2012</div><div>Disabled fast string operations</div><div>BIOS-provided physical RAM map:</div>
<div> L4Lx-Memory: 0000000000000000 - 0000000000400000 (reserved)</div><div> L4Lx-Memory: 0000000000400000 - 00000000008fa000 (usable)</div><div> L4Lx-Memory: 00000000008fa000 - 0000000000c00000 (unusable)</div><div> L4Lx-Memory: 0000000000c00000 - 0000000032c00000 (usable)</div>
<div>Notice: NX (Execute Disable) protection cannot be enabled: non-PAE kernel!</div><div>last_pfn = 0x32c00 max_arch_pfn = 0x100000</div><div>init_memory_mapping: 0000000000000000-0000000032c00000</div><div>INITRD: 3ac00000 - 52c00000</div>
<div>812MB LOWMEM available.</div><div>  mapped low ram: 0 - 32c00000</div><div>  low ram: 0 - 32c00000</div><div>Zone PFN ranges:</div><div>  DMA      0x00000400 -&gt; 0x00000000</div><div>  Normal   0x00000000 -&gt; 0x00032c00</div>
<div>Movable zone start PFN for each node</div><div>early_node_map[2] active PFN ranges</div><div>    0: 0x00000400 -&gt; 0x000008fa</div><div>    0: 0x00000c00 -&gt; 0x00032c00</div><div>Using APIC driver default</div><div>
Intel MultiProcessor Specification v1.0</div><div>    Virtual Wire compatibility mode.</div><div>Processors: 1</div><div>SMP: Allowing 1 CPUs, 0 hotplug CPUs</div><div>Allocating PCI resources starting at 32c00000 (gap: 32c00000:cd400000)</div>
<div>setup_percpu: NR_CPUS:8 nr_cpumask_bits:8 nr_cpu_ids:1 nr_node_ids:1</div><div>PERCPU: Embedded 11 pages/cpu @32000000 s20896 r0 d24160 u4194304</div><div>Built 1 zonelists in Zone order, mobility grouping on.  Total pages: 204458</div>
<div>Kernel command line: mem=800M earlyprintk=yes l4x_rd=rom/squeezesmall-x.img root=1:0 ramdisk_size=400000</div><div>console [earlykdb0] enabled</div><div>PID hash table entries: 4096 (order: 2, 16384 bytes)</div><div>
Dentry cache hash table entries: 131072 (order: 7, 524288 bytes)</div><div>Inode-cache hash table entries: 65536 (order: 6, 262144 bytes)</div><div>Initializing CPU#0</div><div>Memory: 811944k/831488k available (3077k kernel code, 12352k reserved, 1083k data, 220k init, 0k highmem)</div>
<div>virtual kernel memory layout:</div><div>    fixmap  : 0x00100000 - 0x001e7000   ( 924 kB)</div><div>    vmalloc : 0x32c00000 - 0x3ac00000   ( 128 MB)</div><div>    lowmem  : 0x00000000 - 0x32c00000   ( 812 MB)</div><div>
      .init : 0x00811000 - 0x00848000   ( 220 kB)</div><div>      .data : 0x00701618 - 0x008102a0   (1083 kB)</div><div>      .text : 0x00400000 - 0x00701618   (3077 kB)</div><div>Hierarchical RCU implementation.</div><div>
NR_IRQS:512</div><div>l4lx_irq_init: l4lx_irq_max = 512</div><div>l4linux | rtc not found</div><div>Console: colour VGA+ 80x25</div><div>console [tty0] enabled</div><div>l4lx_irq_dev_startup_timer(0)</div><div>l4linux | l4lx_thread_create: Created thread 41f (timer.i0) (u:b3000800, v:00000000, sp:0087fff8)</div>
<div>Detected 1596.021 MHz procesl4linux | timer_irq_thread: Starting timer IRQ thread.</div><div>sor.</div><div>Calibrating delay loop (skipped), value calculated using timer frequency.. 3192.04 BogoMIPS (lpj=15960210)</div>
<div>pid_max: default: 32768 minimum: 301</div><div>Mount-cache hash table entries: 512</div><div>l4linux | WARNING: Unknown wrmsr: 0000008b at 0x6f7d1f</div><div>l4linux | WARNING: Unknown rdmsr: 0000008b at 0x6f7d27</div>
<div>Disabled fast string operations</div><div>CPU: Physical Processor ID: 0</div><div>CPU: Processor Core ID: 0</div><div>SMP alternatives: switching to UP code</div><div>Freeing SMP alternatives: 24k freed</div><div>CPU0: Intel(R) Atom(TM) CPU  330   @ 1.60GHz stepping 02</div>
<div>Performance Events: l4linux | WARNING: Unknown rdmsr: 00000345 at 0x817cac</div><div>no PEBS fmt3+, Atom events, l4linux | WARNING: Unknown rdmsr: 00000186 at 0x818311</div><div>l4linux | WARNING: Unknown rdmsr: 00000187 at 0x818311</div>
<div>l4linux | WARNING: Unknown rdmsr: 0000038d at 0x818344</div><div>Broken BIOS detected, complain to your hardware vendor.</div><div>[Firmware Bug]: the BIOS has corrupted hw-PMU resources (MSR 38d is b30006000000038d)</div>
<div>Intel PMU driver.</div><div>l4linux | Page fault (non-resolved): pfa=1e3342 pc=416170</div><div>l4linux | Page fault (non-resolved): pfa=1a8 pc=493edb</div><div>Die message: Trap: 14</div><div>Trap: 14: 0004 [#1] SMP </div>
<div>Modules linked in:</div><div><br></div><div>Pid: 1, comm: swapper Not tainted 3.0.0-l4-svn23 #16  </div><div>EIP: 0000:[&lt;00493edb&gt;] EFLAGS: 00010202 CPU: 0</div><div>EIP is at do_coredump+0x4b/0xa50</div><div>EAX: 00000000 EBX: 0000000a ECX: 31c35fb4 EDX: 0000000b</div>
<div>ESI: 31c35cac EDI: 00000000 EBP: 31c35c24 ESP: 31c35b8c</div><div> DS: 0000 ES: 0000 FS: 005b GS: 0043 SS: 0023</div><div>Process swapper (pid: 1, ti=31c34000 task=31c33bc0 task.ti=31c34000)</div><div>Stack:</div><div>
 31c35b94 00000000 31c35c04 0046a6b2 00000001 00000041 b3000600 31c15000</div><div> 00000000 31c16dc0 0000000b 0048b223 31c268f8 0000000b 31c26904 00000000</div><div> 31c35bd8 0043308d 0000000b 31c35bec 31c33e30 31c35cac 31c35bec 0000000b</div>
<div>Call Trace:</div><div> [&lt;0046a6b2&gt;] ? get_page_from_freelist+0x142/0x460</div><div> [&lt;0048b223&gt;] ? kmem_cache_free+0x43/0x60</div><div> [&lt;0043308d&gt;] ? __sigqueue_free+0x2d/0x30</div><div> [&lt;0046aaab&gt;] ? __alloc_pages_nodemask+0xdb/0x560</div>
<div> [&lt;004351f4&gt;] get_signal_to_deliver+0x174/0x3b0</div><div> [&lt;00408653&gt;] do_signal+0x43/0x7a0</div><div> [&lt;006fd6e0&gt;] ? cache_alloc_refill+0x66/0x425</div><div> [&lt;007011ed&gt;] ? _raw_spin_unlock_irqrestore+0xd/0x10</div>
<div> [&lt;004339fe&gt;] ? signal_wake_up+0x2e/0x40</div><div> [&lt;00433b7c&gt;] ? complete_signal+0xec/0x1f0</div><div> [&lt;00433db8&gt;] ? __send_signal.constprop.31+0x138/0x2b0</div><div> [&lt;007011ed&gt;] ? _raw_spin_unlock_irqrestore+0xd/0x10</div>
<div> [&lt;004345f6&gt;] ? force_sig_info+0xa6/0xd0</div><div> [&lt;00403541&gt;] l4x_deliver_signal+0x61/0x70</div><div> [&lt;0042cc60&gt;] ? remote_softirq_receive+0x40/0x40</div><div> [&lt;007011ed&gt;] ? _raw_spin_unlock_irqrestore+0xd/0x10</div>
<div> [&lt;00586a76&gt;] ? vgacon_set_cursor_size.isra.11+0x96/0x120</div><div> [&lt;00416170&gt;] ? native_apic_mem_write+0x10/0x20</div><div> [&lt;006fc14d&gt;] l4x_vcpu_entry_kern+0x3f9/0x99c</div><div> [&lt;0044354d&gt;] ? atomic_notifier_call_chain+0x1d/0x20</div>
<div> [&lt;005a8ff2&gt;] ? notify_update+0x22/0x30</div><div> [&lt;005a9bee&gt;] ? vt_console_print+0x25e/0x340</div><div> [&lt;005a9990&gt;] ? set_cursor+0x80/0x80</div><div> [&lt;00416170&gt;] ? native_apic_mem_write+0x10/0x20</div>
<div> [&lt;007011ed&gt;] ? _raw_spin_unlock_irqrestore+0xd/0x10</div><div> [&lt;004282e1&gt;] ? console_unlock+0x171/0x1c0</div><div> [&lt;0040477f&gt;] l4x_vcpu_entry+0x5ff/0x1790</div><div> [&lt;00428511&gt;] ? vprintk+0x191/0x3e0</div>
<div> [&lt;0040477f&gt;] ? l4x_vcpu_entry+0x5ff/0x1790</div><div> [&lt;007011ed&gt;] ? _raw_spin_unlock_irqrestore+0xd/0x10</div><div> [&lt;00428511&gt;] ? vprintk+0x191/0x3e0</div><div> [&lt;004143cb&gt;] ? perf_events_lapic_init+0x2b/0x30</div>
<div> [&lt;008184cf&gt;] ? init_hw_perf_events+0xcca/0xe8b</div><div> [&lt;006f7b07&gt;] ? print_cpu_info+0x93/0x125</div><div> [&lt;00817805&gt;] ? check_bugs+0xe6/0xe6</div><div> [&lt;0040005b&gt;] ? do_one_initcall+0x2b/0x170</div>
<div> [&lt;0081a071&gt;] ? native_smp_prepare_cpus+0x1c0/0x1c7</div><div> [&lt;008115b2&gt;] ? start_kernel+0x2b1/0x2b1</div><div> [&lt;008115fd&gt;] ? kernel_init+0x4b/0x10e</div><div> [&lt;008115b2&gt;] ? start_kernel+0x2b1/0x2b1</div>
<div>Code: 00 c7 45 d0 00 00 00 00 89 55 90 8b 55 9c 89 7d a4 8b 80 68 01 00 00 c7 45 d4 00 00 00 00 c7 45 cc 00 00 00 00 89 55 c4 89 45 d0 &lt;8b&gt; 87 a8 01 00 00 8b bf 60 01 00 00 89 4d c8 89 45 d4 85 ff 89 </div><div>
EIP: [&lt;00493edb&gt;] do_coredump+0x4b/0xa50 SS:ESP 0023:31c35b8c</div><div>---[ end trace 4eaa2a86a8e2da22 ]---</div><div>Kernel panic - not syncing: Attempted to kill init!</div><div>Pid: 1, comm: swapper Tainted: G      D     3.0.0-l4-svn23 #16</div>
<div>Call Trace:</div><div> [&lt;006fcf1c&gt;] ? printk+0x18/0x1a</div><div> [&lt;006fce1a&gt;] panic+0x57/0x141</div><div> [&lt;0042b053&gt;] do_exit+0x6b3/0x6c0</div><div> [&lt;007011ed&gt;] ? _raw_spin_unlock_irqrestore+0xd/0x10</div>
<div> [&lt;006fcf1c&gt;] ? printk+0x18/0x1a</div><div> [&lt;0040e300&gt;] oops_end+0x70/0x90</div><div> [&lt;0040e465&gt;] die+0x45/0x70</div><div> [&lt;00493edb&gt;] ? do_coredump+0x4b/0xa50</div><div> [&lt;0046a6b2&gt;] ? get_page_from_freelist+0x142/0x460</div>
<div> [&lt;0048b223&gt;] ? kmem_cache_free+0x43/0x60</div><div> [&lt;0043308d&gt;] ? __sigqueue_free+0x2d/0x30</div><div> [&lt;0046aaab&gt;] ? __alloc_pages_nodemask+0xdb/0x560</div><div> [&lt;004351f4&gt;] ? get_signal_to_deliver+0x174/0x3b0</div>
<div> [&lt;00408653&gt;] ? do_signal+0x43/0x7a0</div><div> [&lt;006fd6e0&gt;] ? cache_alloc_refill+0x66/0x425</div><div> [&lt;007011ed&gt;] ? _raw_spin_unlock_irqrestore+0xd/0x10</div><div> [&lt;004339fe&gt;] ? signal_wake_up+0x2e/0x40</div>
<div> [&lt;00433b7c&gt;] ? complete_signal+0xec/0x1f0</div><div> [&lt;00433db8&gt;] ? __send_signal.constprop.31+0x138/0x2b0</div><div> [&lt;007011ed&gt;] ? _raw_spin_unlock_irqrestore+0xd/0x10</div><div> [&lt;004345f6&gt;] ? force_sig_info+0xa6/0xd0</div>
<div> [&lt;00403541&gt;] ? l4x_deliver_signal+0x61/0x70</div><div> [&lt;0042cc60&gt;] ? remote_softirq_receive+0x40/0x40</div><div> [&lt;007011ed&gt;] ? _raw_spin_unlock_irqrestore+0xd/0x10</div><div> [&lt;00586a76&gt;] ? vgacon_set_cursor_size.isra.11+0x96/0x120</div>
<div> [&lt;00416170&gt;] ? native_apic_mem_write+0x10/0x20</div><div> [&lt;006fc14d&gt;] ? l4x_vcpu_entry_kern+0x3f9/0x99c</div><div> [&lt;0044354d&gt;] ? atomic_notifier_call_chain+0x1d/0x20</div><div> [&lt;005a8ff2&gt;] ? notify_update+0x22/0x30</div>
<div> [&lt;005a9bee&gt;] ? vt_console_print+0x25e/0x340</div><div> [&lt;005a9990&gt;] ? set_cursor+0x80/0x80</div><div> [&lt;00416170&gt;] ? native_apic_mem_write+0x10/0x20</div><div> [&lt;007011ed&gt;] ? _raw_spin_unlock_irqrestore+0xd/0x10</div>
<div> [&lt;004282e1&gt;] ? console_unlock+0x171/0x1c0</div><div> [&lt;0040477f&gt;] ? l4x_vcpu_entry+0x5ff/0x1790</div><div> [&lt;00428511&gt;] ? vprintk+0x191/0x3e0</div><div> [&lt;0040477f&gt;] ? l4x_vcpu_entry+0x5ff/0x1790</div>
<div> [&lt;007011ed&gt;] ? _raw_spin_unlock_irqrestore+0xd/0x10</div><div> [&lt;00428511&gt;] ? vprintk+0x191/0x3e0</div><div> [&lt;004143cb&gt;] ? perf_events_lapic_init+0x2b/0x30</div><div> [&lt;008184cf&gt;] ? init_hw_perf_events+0xcca/0xe8b</div>
<div> [&lt;006f7b07&gt;] ? print_cpu_info+0x93/0x125</div><div> [&lt;00817805&gt;] ? check_bugs+0xe6/0xe6</div><div> [&lt;0040005b&gt;] ? do_one_initcall+0x2b/0x170</div><div> [&lt;0081a071&gt;] ? native_smp_prepare_cpus+0x1c0/0x1c7</div>
<div> [&lt;008115b2&gt;] ? start_kernel+0x2b1/0x2b1</div><div> [&lt;008115fd&gt;] ? kernel_init+0x4b/0x10e</div><div> [&lt;008115b2&gt;] ? start_kernel+0x2b1/0x2b1</div><div>panic: going to sleep forever, bye</div><div>l4linux | panic: going to sleep forever, bye</div>
</div><div><br></div><div><br></div><div>Anand Mayuresh Vivekanand</div>