l4 build problem on Intel Atom 330

Anand Mayuresh Vivekanad <[email protected]>
Newsgroups gmane.comp.micro-kernel.l4.devel
Message-ID <CAOhKWodg6-xrO85ErUkSS4hjFtBbsONYHTWRcSvJ2sgELasYGg@mail.gmail.com>
Hello,

I was trying to build L4,L4RE, L4Linux for the Intel atom board.
I tried to build everything from the scratch.
But I am not able to boot l4linux on intel atom.
The same image if I am running on QEMU then it is working.
I don't know what I am doing wrong.
Pleas Help.

The difference that I can see while running on QEMU and Intel Atom is:

 QEMU:

CPU0: AMD QEMU Virtual CPU version 1.0 stepping 03
Performance Events: l4linux | WARNING: Unknown rdmsr: c0010000 at 0x6d529f
l4linux | WARNING: Unknown rdmsr: c0010001 at 0x6d529f
l4linux | WARNING: Unknown rdmsr: c0010002 at 0x6d529f
l4linux | WARNING: Unknown rdmsr: c0010003 at 0x6d529f
l4linux | WARNING: Unknown wrmsr: c0010004 at 0x6d531d
l4linux | WARNING: Unknown rdmsr: c0010004 at 0x6d532f
Broken PMU hardware detected, using software events only.
Brought up 1 CPUs
Total of 1 processors activated (2877.82 BogoMIPS).
bio: create slab <bio-0> at 0
vgaarb: loaded
SCSI subsystem initialized
PCI: L4 root bridge is device 1b390
vgaarb: device added: PCI:0000:00:01.0,decodes=io+mem,owns=io+mem,locks=none


Intel Atom:

CPU0: Intel(R) Atom(TM) CPU  330   @ 1.60GHz stepping 02
Performance Events: l4linux | WARNING: Unknown rdmsr: 00000345 at 0x6d4c3a
no PEBS fmt3+, Atom events, l4linux | WARNING: Unknown rdmsr: 00000186 at
0x6d529f
l4linux | WARNING: Unknown rdmsr: 00000187 at 0x6d529f
l4linux | WARNING: Unknown rdmsr: 0000038d at 0x6d52d2
Broken BIOS detected, complain to your hardware vendor.
[Firmware Bug]: the BIOS has corrupted hw-PMU resources (MSR 38d is
b30006000000038d)
Intel PMU driver.
l4linux | Page fault (non-resolved): pfa=1e3342 pc=416170
l4linux | Page fault (non-resolved): pfa=1a8 pc=493e6b
Die message: Trap: 14
Trap: 14: 0004 [#1] SMP
Modules linked in:


Below is the complete log file(Intel Atom):

mayuresh@mayuresh:~/L4$ sudo picocom -b 115200 /dev/ttyUSB0
[sudo] password for mayuresh:
picocom v1.4

port is        : /dev/ttyUSB0
flowcontrol    : none
baudrate is    : 115200
parity is      : none
databits are   : 8
escape is      : C-a
noinit is      : no
noreset is     : no
nolock is      : no
send_cmd is    : ascii_xfr -s -v -l10
receive_cmd is : rz -vv

Terminal ready

L4 Bootstrapper
  Build: #4 Tue Jul 24 20:56:27 CEST 2012, x86-32, 4.6.3
  RAM: 0000000000000000 - 000000000008efff: 572kB
  RAM: 0000000000100000 - 000000007f5c7fff: 2085664kB
  RAM: 000000007f5d4000 - 000000007f65ffff: 560kB
  RAM: 000000007f6f0000 - 000000007f6f2fff: 12kB
  RAM: 000000007f6ff000 - 000000007f6fffff: 4kB
  Total RAM: 2037MB
  Moving 11 modules to 1100000 with offset ded000
  moving module 11 { 1814000-19814000 } -> { 2601000-1a601000 }
  moving module 10 { 133a000-1813ea7 } -> { 2127000-2600ea7 }
  moving module 09 { 1339000-133931c } -> { 2126000-212631c }
  moving module 08 { 1338000-133848d } -> { 2125000-212548d }
  moving module 07 { 942000-1337e43 } -> { 172f000-2124e43 }
  moving module 06 { 941000-94139b } -> { 172e000-172e39b }
  moving module 05 { 711000-940c5f } -> { 14fe000-172dc5f }
  moving module 04 { 5ec000-710565 } -> { 13d9000-14fd565 }
  moving module 03 { 3ce000-5eb781 } -> { 11bb000-13d8781 }
  moving module 02 { 37a000-3cd525 } -> { 1167000-11ba525 }
  moving module 01 { 313000-3798e0 } -> { 1100000-11668e0 }
  Scanning /fiasco -serial_esc
  Scanning /sigma0
  Scanning /moe rom/linux-x2-pci.cfg
  Bootloader MMAP:
    [        0,     8f000) RAM (1)
    [    8f000,     a0000) reserved (2)
    [    e0000,    100000) reserved (2)
    [   100000,  7f5c8000) RAM (1)
    [ 7f5c8000,  7f5d4000) reserved (2)
    [ 7f5d4000,  7f660000) RAM (1)
    [ 7f660000,  7f6f0000) ACPI NVS (4)
    [ 7f6f0000,  7f6f3000) RAM (1)
    [ 7f6f3000,  7f6ff000) ACPI (3)
    [ 7f6ff000,  7f700000) RAM (1)
    [ 7f700000,  7f800000) reserved (2)
    [ 7f800000,  80000000) reserved (2)
    [ f0000000,  f0000000) reserved (2)
    [ f0000000,  f8000000) reserved (2)
    [ f8000000,  fff80000) reserved (2)
    [ fff80000,  fffff000) reserved (2)
    [ fffff000, 100000000) reserved (2)
  Relocated mbi to [0x2dd000-0x2dd1a5]
  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
    [    8f000,     9ffff] {    11000} Arch   BIOS
    [    e0000,     fffff] {    20000} Arch   BIOS
    [   100000,    10b197] {     b198} Sigma0 /sigma0
    [   140000,    18d23f] {    4d240} Root   /moe
    [   2d0000,    2e13e7] {    113e8} Boot   bootstrap
    [   2dd000,    2dd2a2] {      2a3} Root   Multiboot info
    [   300000,    38ffff] {    90000} Kern   /fiasco
    [   400000,    46bfff] {    6c000} Kern   /fiasco
    [  13d9000,  1a600fff] { 19228000} Root   Modules Memory
    [ 7f5c8000,  7f5d3fff] {     c000} Arch   BIOS
    [ 7f660000,  7f6effff] {    90000} Arch   BIOS
    [ 7f6f3000,  7f6fefff] {     c000} Arch   BIOS
    [ 7f700000,  7fffffff] {   900000} Arch   BIOS
    [ f0000000,  ffffffff] { 10000000} 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: r38 compiled with gcc 4.6.3 for Intel Pentium Pro    []
Build: #5 Wed Jul 25 15:54:44 CEST 2012

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

Superpages: yes
Kmem:: cpu page at 7f3e2000 (4096Bytes)
ACPI-Init
ACPI: RSDP[0xfe020] r00 OEM:INTEL.
ACPI: RSDT[0x202fd038] r01 OEM:INTEL. OEMTID:D945GLF2
ACPI: FACP[0x202fc000] r01 OEM:INTEL. OEMTID:D945GLF2
ACPI: APIC[0x202f6000] r01 OEM:INTEL. OEMTID:D945GLF2
ACPI: WDDT[0x202f5000] r01 OEM:INTEL. OEMTID:D945GLF2
ACPI: MCFG[0x202f4000] r01 OEM:INTEL. OEMTID:D945GLF2
ACPI: ASF.[0x202f3000] r20 OEM:INTEL. OEMTID:D945GLF2
IO-APIC: MADT = 0x202f6000
IO-APIC[ 0]: struct: 0x202f604c 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] 09 -> 9
Allocate cpu_mem @ 0xfffe6000
Local APIC[00]: version=14 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: Sysenter
CPU[0:0]: GenuineIntel (6:1C:2:0)[000106c2] Model:          Intel(R)
Atom(TM) CPU  330   @ 1.60GHz at 1596 MHz

  32 Entry I TLB (4K pages)
  80 Entry D TLB (4K pages)   8 Entry D TLB (4k or 4M pages)
  32 KB L1 I Cache (8-way associative, 64 bytes per line)
  24 KB L1 D Cache (6-way associative, 64 bytes per line)
 512 KB L2 U Cache (16-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;8efff]
[0:10c000;13ffff]
[4:140000;18dfff]
[0:18e000;2dcfff]
[4:2dd000;2ddfff]
[0:2de000;3fffff]
[0:465000;13d8fff]
[4:13d9000;1a600fff]
[0:1a601000;7b7fffff]
[0:7f400000;7f5c7fff]
[0:7f5d4000;7f65ffff]
[0:7f6f0000;7f6f2fff]
[0:7f6ff000;7f6fffff]
IOMEM:----------------------
[0:0;fff]
[0:8f000;fffff]
[0:7f5c8000;7f5d3fff]
[0:7f660000;7f6effff]
[0:7f6f3000;7f6fefff]
[0:7f700000;fedfffff]
[0:fee01000;ffffffff]
IO PORTS--------------------------
[0:0;fffffff]
MOE: Hello world
MOE: found 1612792 KByte free memory
MOE: found RAM from 1000 to 7f700000
MOE: allocated 2038 KByte for the page array @0x465000
MOE: virtual user address space [0-bfffffff]
MOE: rom name space cap -> [C:501000]
  BOOTFS: [13d9000-14fd565] [C:503000] l4re
  BOOTFS: [14fe000-172dc5f] [C:504000] ned
  BOOTFS: [172e000-172e39b] [C:505000] linux-x2-pci.cfg
  BOOTFS: [172f000-2124e43] [C:506000] io
  BOOTFS: [2125000-212548d] [C:507000] x86-legacy-min.devs
  BOOTFS: [2126000-212631c] [C:508000] l4lx-x86-x2-pci.io
  BOOTFS: [2127000-2600ea7] [C:509000] vmlinuz
  BOOTFS: [2601000-1a601000] [C:50a000] squeezesmall-x.img
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      | Io service
io      | Verboseness level: 5
io      | unused physical memory space:
io      |   [00000080000000-000000efffffff]
io      | Hello from L4-ACPICA
io      | Find root Pointer
io      | new iomem region: p=0 v=400000 s=400000 (bmb=0x3658)
io      | map mem: p=0 v=400000 s=1000: done
io      | AcpiOsMapMemory(40e, 2) = 40040e
io      | map mem: p=9f000 v=49f000 s=1000: done
io      | AcpiOsMapMemory(9fc00, 400) = 49fc00
io      | map mem: p=e0000 v=4e0000 s=20000: done
io      | AcpiOsMapMemory(e0000, 20000) = 4e0000
io      | Find root Pointer: fe020
io      | AcpiOsMapMemory(fe020, 24) = 4fe020
io      | ACPI: RSDP 0xfe020 00014 (v00 INTEL )
io      | new iomem region: p=7f400000 v=800000 s=400000 (bmb=0x3700)
io      | map mem: p=7f6fd000 v=afd000 s=1000: done
io      | AcpiOsMapMemory(7f6fd038, 24) = afd038
io      | ACPI: RSDT 0x7f6fd038 00038 (v01 INTEL  D945GLF2 000000E5
 01000013)
io      | AcpiOsMapMemory(7f6fd038, 38) = afd038
io      | map mem: p=7f6fc000 v=afc000 s=1000: done
io      | AcpiOsMapMemory(7f6fc000, 24) = afc000
io      | ACPI: FACP 0x7f6fc000 00074 (v01 INTEL  D945GLF2 000000E5 MSFT
01000013)
io      | AcpiOsMapMemory(7f6fc000, 74) = afc000
io      | map mem: p=7f6f7000 v=af7000 s=1000: done
io      | AcpiOsMapMemory(7f6f7000, 24) = af7000
io      | ACPI: DSDT 0x7f6f7000 045EC (v01 INTEL  D945GLF2 000000E5 MSFT
01000013)
io      | map mem: p=7f6a3000 v=aa3000 s=1000: done
io      | AcpiOsMapMemory(7f6a3000, 24) = aa3000
io      | ACPI: FACS 0x7f6a3000 00040
io      | map mem: p=7f6f6000 v=af6000 s=1000: done
io      | AcpiOsMapMemory(7f6f6000, 24) = af6000
io      | ACPI: APIC 0x7f6f6000 00078 (v01 INTEL  D945GLF2 000000E5 MSFT
01000013)
io      | map mem: p=7f6f5000 v=af5000 s=1000: done
io      | AcpiOsMapMemory(7f6f5000, 24) = af5000
io      | ACPI: WDDT 0x7f6f5000 00040 (v01 INTEL  D945GLF2 000000E5 MSFT
01000013)
io      | map mem: p=7f6f4000 v=af4000 s=1000: done
io      | AcpiOsMapMemory(7f6f4000, 24) = af4000
io      | ACPI: MCFG 0x7f6f4000 0003C (v01 INTEL  D945GLF2 000000E5 MSFT
01000013)
io      | map mem: p=7f6f3000 v=af3000 s=1000: done
io      | AcpiOsMapMemory(7f6f3000, 24) = af3000
io      | ACPI: ASF! 0x7f6f3000 000A6 (v32 INTEL  D945GLF2 000000E5 MSFT
01000013)
io      | map mem: p=7f6f8000 v=af8000 s=4000: done
io      | AcpiOsMapMemory(7f6f7000, 45ec) = af7000
io      | Parsing all Control Methods:
io      | Table [DSDT](id 0001) - 562 Objects with 56 Devices 158 Methods
35 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(7f6a3000, 40) = aa3000
io      | evgpeblk-1129 [04] EvCreateGpeBlock      : GPE 00 to 1F [_GPE] 4
regs on int 0x9
io      |
/home/mayuresh/L4/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 35/35 Regions 0/0 Fields 25/25 Buffers 22/22 Packages
(571 nodes)
io      | Initializing Device/Processor/Thermal objects by executing _INI
methods:
io      | Executed 1 _INI methods requiring 0 _STA executions (examined 62
objects)
io      | evgpeblk-1234 [03] EvInitializeGpeBlock  : Found 8 Wake, Enabled
3 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      | WARNING: phys mmio resource allocation failed
io      | IOMEM * [000000f8000000-000000febffffe 6bfffff] non-pref (32bit)
(align=6bffffe flags=c002)
io      | WARNING: phys mmio resource allocation failed
io      | IOMEM * [000000f8000000-000000febffffe 6bfffff] non-pref (32bit)
(align=6bffffe flags=c002)
io      | WARNING: phys mmio resource allocation failed
io      | IOMEM * [000000000e0000-000000000effff 10000] non-pref (32bit)
(align=ffff flags=c002)
io      | WARNING: phys mmio resource allocation failed
io      | IOMEM * [000000000e0000-000000000effff 10000] non-pref (32bit)
(align=ffff flags=c002)
io      | WARNING: phys mmio resource allocation failed
io      | IOMEM * [000000000a0000-000000000bffff 20000] non-pref (32bit)
(align=1ffff flags=c002)
io      | WARNING: phys mmio resource allocation failed
io      | IOMEM * [000000000a0000-000000000bffff 20000] non-pref (32bit)
(align=1ffff flags=c002)
io      | WARNING: ignoring ACPI recource (unkown type: 1)
io      | WARNING: ignoring ACPI recource (unkown type: 1)
io      | WARNING: ignoring ACPI recource (unkown type: 1)
io      | Loading: config 'rom/x86-legacy-min.devs'
io      | WARNING: phys mmio resource allocation failed
io      | IOMEM   [000000000c0000-000000000fffff 40000] non-pref (32bit)
(align=3ffff flags=c002)
io      | WARNING: phys mmio resource allocation failed
io      | IOMEM   [000000000c0000-000000000fffff 40000] non-pref (32bit)
(align=3ffff flags=c002)
io      | WARNING: phys mmio resource allocation failed
io      | IOMEM   [0000000009f000-0000000009ffff 1000] non-pref (32bit)
(align=fff flags=c002)
io      | WARNING: phys mmio resource allocation failed
io      | IOMEM   [0000000009f000-0000000009ffff 1000] non-pref (32bit)
(align=fff flags=c002)
io      | WARNING: phys mmio resource allocation failed
io      | IOMEM   [00000000000000-00000000000fff 1000] non-pref (32bit)
(align=fff flags=4002)
io      | WARNING: phys mmio resource allocation failed
io      | IOMEM   [00000000000000-00000000000fff 1000] non-pref (32bit)
(align=fff flags=4002)
io      | ERROR: could not reserve resource
io      | IOMEM   [00000000000000-00000000000fff 1000] non-pref (32bit)
(align=fff flags=4102)
io      | WARNING: phys mmio resource allocation failed
io      | IOMEM   [000000000a0000-000000000bffff 20000] non-pref (32bit)
(align=1ffff flags=8c002)
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      | 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     [00000000000010-00000000000010
1] level low (32bit) (align=0 flags=304201)
io      | Add IRQ resources to vbus: IRQ     [00000000000013-00000000000013
1] level low (32bit) (align=0 flags=304201)
io      | Add IRQ resources to vbus: IRQ     [00000000000012-00000000000012
1] level low (32bit) (align=0 flags=304201)
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      | P6Device: l4linux ""
io      |   P6Device: vgadev "PNP0900"
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   [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      |       IRQ     [00000000000010-00000000000010 1] level low (32bit)
(align=0 flags=304201)
io      |       IOMEM   [00000090200000-0000009027ffff 80000] non-pref
(32bit) (align=7ffff flags=4a02)
io      |       IOPORT  [000000000020e0-000000000020e7 8] non-pref (32bit)
(align=7 flags=4a03)
io      |       IOMEM   [00000080000000-0000008fffffff 10000000] pref
(32bit) (align=fffffff flags=4e02)
io      |       IOMEM   [00000090280000-000000902bffff 40000] non-pref
(32bit) (align=3ffff flags=4a02)
io      |     P6Device: pci_l4x[0000] ""
io      |       IRQ     [00000000000013-00000000000013 1] level low (32bit)
(align=0 flags=304201)
io      |       IOPORT  [000000000020c8-000000000020cf 8] non-pref (32bit)
(align=7 flags=4a03)
io      |       IOPORT  [000000000020ec-000000000020ef 4] non-pref (32bit)
(align=3 flags=4a03)
io      |       IOPORT  [000000000020c0-000000000020c7 8] non-pref (32bit)
(align=7 flags=4a03)
io      |       IOPORT  [000000000020e8-000000000020eb 4] non-pref (32bit)
(align=3 flags=4a03)
io      |       IOPORT  [000000000020a0-000000000020af 10] non-pref (32bit)
(align=f flags=4a03)
io      |     P6Device: pci_l4x[0001] ""
io      |       IRQ     [00000000000012-00000000000012 1] level low (32bit)
(align=0 flags=304201)
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  [000000000020d8-000000000020df 8] non-pref (32bit)
(align=7 flags=4a03)
io      |       IOPORT  [000000000020f4-000000000020f7 4] non-pref (32bit)
(align=3 flags=4a03)
io      |       IOPORT  [000000000020d0-000000000020d7 8] non-pref (32bit)
(align=7 flags=4a03)
io      |       IOPORT  [000000000020f0-000000000020f3 4] non-pref (32bit)
(align=3 flags=4a03)
io      |       IOPORT  [000000000020b0-000000000020bf 10] non-pref (32bit)
(align=f flags=4a03)
io      |     P6Device: pci_l4x[0002] ""
io      |       IRQ     [00000000000010-00000000000010 1] level low (32bit)
(align=0 flags=304201)
io      |       IOPORT  [00000000001000-000000000010ff 100] non-pref
(32bit) (align=ff flags=4a03)
io      |       IOMEM   [00000090100000-00000090100fff 1000] non-pref
(64bit) (align=fff flags=14a02)
io      |       IOMEM   [00000090000000-0000009000ffff 10000] pref (64bit)
(align=ffff flags=14e02)
io      |   P6Device: (noname) "L40009"
io      | Real Hardware -----------------------------------
io      | P6Device: System Bus ""
io      | Hw::Device[System Bus]
io      |   P6Device: SLPB "PNP0C0E"
io      |   Hw::Device[SLPB]
io      |   P6Device: PCI0 "PNP0A03"
io      |   Hw::Device[PCI0]
io      |     IOMEM * [00000080000000-000000efffffff 70000000] non-pref
(32bit) (align=6fffffff flags=c002)
io      |     IOMEM * [000000f8000000-000000febffffe 6bfffff] non-pref
(32bit) (align=6bffffe flags=c002)
io      |     IOMEM * [000000000e0000-000000000effff 10000] non-pref
(32bit) (align=ffff 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 (0x7c70)
io      |     P6Device: IOCM "PNP0C02"
io      |     Hw::Device[IOCM]
io      |       IOMEM   [000000000e0000-000000000fffff 20000] non-pref
(32bit) (align=1ffff flags=c002)
io      |       IOMEM   [000000000c0000-000000000dffff 20000] non-pref
(32bit) (align=1ffff flags=c002)
io      |       IOMEM   [000000fed45000-000000fed99fff 55000] non-pref
(32bit) (align=54fff flags=c002)
io      |       IOMEM   [000000fed20000-000000fed3ffff 20000] non-pref
(32bit) (align=1ffff flags=c002)
io      |       IOMEM   [000000fed1c000-000000fed1ffff 4000] non-pref
(32bit) (align=3fff flags=c002)
io      |       IOMEM   [000000fed19000-000000fed19fff 1000] non-pref
(32bit) (align=fff flags=c002)
io      |       IOMEM   [000000fed18000-000000fed18fff 1000] non-pref
(32bit) (align=fff flags=c002)
io      |       IOMEM   [000000fed14000-000000fed17fff 4000] non-pref
(32bit) (align=3fff flags=c002)
io      |       IOMEM   [000000fed13000-000000fed13fff 1000] non-pref
(32bit) (align=fff flags=c002)
io      |       IOMEM   [000000f0000000-000000f3ffffff 4000000] non-pref
(32bit) (align=3ffffff flags=c002)
io      |     P6Device: P32_ ""
io      |     Hw::Device[P32_]
io      |       0000:00:1e.0: PCI Bridge [1]
io      |                     0x8086 0x244e
io      |                     Intel Corporation 82801 PCI Bridge
io      |       IOPORT* [00000000000000-00000000000000 1] non-pref (32bit)
(align=fff flags=5003)
io      |       IOMEM * [00000000000000-00000000000000 1] pref (64bit)
(align=fffff flags=15402)
io      |       IOMEM * [00000000000000-00000000000000 1] non-pref (32bit)
(align=fffff flags=5002)
io      |       PCI IRQ ROUTER:
18Pci_irq_router_resIN12_GLOBAL__N_122Acpi_pci_irq_router_rsEE (0x3220)
io      |     P6Device: LPC_ ""
io      |     Hw::Device[LPC_]
io      |       0000:00:1f.0: ISA Bridge [128]
io      |                     0x8086 0x27b8
io      |                     Intel Corporation 82801GB/GR (ICH7 Family)
LPC Interface Bridge
io      |       P6Device: LNKA "PNP0C0F"
io      |       Hw::Device[LNKA]
io      |         IRQ     [0000000000000b-0000000000000b 1] level low
(32bit) (align=0 flags=304001)
io      |       P6Device: LNKB "PNP0C0F"
io      |       Hw::Device[LNKB]
io      |       P6Device: LNKC "PNP0C0F"
io      |       Hw::Device[LNKC]
io      |         IRQ     [00000000000009-00000000000009 1] level low
(32bit) (align=0 flags=304001)
io      |       P6Device: LNKD "PNP0C0F"
io      |       Hw::Device[LNKD]
io      |         IRQ     [0000000000000b-0000000000000b 1] level low
(32bit) (align=0 flags=304001)
io      |       P6Device: LNKE "PNP0C0F"
io      |       Hw::Device[LNKE]
io      |       P6Device: LNKF "PNP0C0F"
io      |       Hw::Device[LNKF]
io      |       P6Device: LNKG "PNP0C0F"
io      |       Hw::Device[LNKG]
io      |         IRQ     [00000000000009-00000000000009 1] level low
(32bit) (align=0 flags=304001)
io      |       P6Device: LNKH "PNP0C0F"
io      |       Hw::Device[LNKH]
io      |         IRQ     [0000000000000a-0000000000000a 1] level low
(32bit) (align=0 flags=304001)
io      |       P6Device: DMAC "PNP0200"
io      |       Hw::Device[DMAC]
io      |         IOPORT  [000000000000c0-000000000000df 20] non-pref
(32bit) (align=1f flags=c003)
io      |         IOPORT  [0000000000008f-0000000000008f 1] non-pref
(32bit) (align=0 flags=c003)
io      |         IOPORT  [00000000000089-0000000000008b 3] non-pref
(32bit) (align=2 flags=c003)
io      |         IOPORT  [00000000000087-00000000000087 1] non-pref
(32bit) (align=0 flags=c003)
io      |         IOPORT  [00000000000081-00000000000083 3] non-pref
(32bit) (align=2 flags=c003)
io      |         IOPORT  [00000000000000-0000000000000f 10] non-pref
(32bit) (align=f flags=c003)
io      |       P6Device: RTC_ "PNP0B00"
io      |       Hw::Device[RTC_]
io      |         IRQ     [00000000000008-00000000000008 1] rising edge
(32bit) (align=0 flags=4001)
io      |         IOPORT  [00000000000074-00000000000077 4] non-pref
(32bit) (align=3 flags=c003)
io      |         IOPORT  [00000000000070-00000000000071 2] non-pref
(32bit) (align=1 flags=c003)
io      |       P6Device: PIC_ "PNP0000"
io      |       Hw::Device[PIC_]
io      |         IOPORT  [000000000004d0-000000000004d1 2] non-pref
(32bit) (align=1 flags=c003)
io      |         IOPORT  [000000000000a0-000000000000bd 1e] non-pref
(32bit) (align=1d flags=c003)
io      |         IOPORT  [00000000000020-0000000000003d 1e] non-pref
(32bit) (align=1d flags=c003)
io      |       P6Device: FPU_ "PNP0C04"
io      |       Hw::Device[FPU_]
io      |         IRQ     [0000000000000d-0000000000000d 1] rising edge
(32bit) (align=0 flags=4001)
io      |         IOPORT  [000000000000f0-000000000000f0 1] non-pref
(32bit) (align=0 flags=c003)
io      |       P6Device: TMR_ "PNP0100"
io      |       Hw::Device[TMR_]
io      |         IRQ     [00000000000000-00000000000000 1] rising edge
(32bit) (align=0 flags=4001)
io      |         IOPORT  [00000000000050-00000000000053 4] non-pref
(32bit) (align=3 flags=c003)
io      |         IOPORT  [00000000000040-00000000000043 4] non-pref
(32bit) (align=3 flags=c003)
io      |       P6Device: SPKR "PNP0800"
io      |       Hw::Device[SPKR]
io      |         IOPORT  [00000000000061-00000000000061 1] non-pref
(32bit) (align=0 flags=c003)
io      |       P6Device: XTRA "PNP0C02"
io      |       Hw::Device[XTRA]
io      |         IOPORT  [00000000000090-0000000000009f 10] non-pref
(32bit) (align=f flags=c003)
io      |         IOPORT  [0000000000008c-0000000000008e 3] non-pref
(32bit) (align=2 flags=c003)
io      |         IOPORT  [00000000000088-00000000000088 1] non-pref
(32bit) (align=0 flags=c003)
io      |         IOPORT  [00000000000084-00000000000086 3] non-pref
(32bit) (align=2 flags=c003)
io      |         IOPORT  [00000000000080-00000000000080 1] non-pref
(32bit) (align=0 flags=c003)
io      |         IOPORT  [00000000000072-00000000000073 2] non-pref
(32bit) (align=1 flags=c003)
io      |         IOPORT  [00000000000010-0000000000001f 10] non-pref
(32bit) (align=f flags=c003)
io      |         IOPORT  [00000000000680-000000000006ff 80] non-pref
(32bit) (align=7f flags=c003)
io      |         IOPORT  [00000000000092-00000000000092 1] non-pref
(32bit) (align=0 flags=c003)
io      |         IOPORT  [00000000000400-0000000000047f 80] non-pref
(32bit) (align=7f flags=c003)
io      |         IOPORT  [00000000000500-0000000000053f 40] non-pref
(32bit) (align=3f flags=c003)
io      |       P6Device: TPM_ "PNP0C31"
io      |       Hw::Device[TPM_]
io      |         IOMEM   [000000fed40000-000000fed44fff 5000] non-pref
(32bit) (align=4fff flags=c002)
io      |       P6Device: XTR2 "PNP0C02"
io      |       Hw::Device[XTR2]
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: FDC0 "PNP0700"
io      |       Hw::Device[FDC0]
io      |         IRQ     [00000000000006-00000000000006 1] rising edge
(32bit) (align=0 flags=4001)
io      |         IOPORT  [00000000000000-00000000000000 1] non-pref
(32bit) (align=0 flags=c003)
io      |         IOPORT  [00000000000000-00000000000005 6] non-pref
(32bit) (align=5 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: ECP_ "PNP0401"
io      |       Hw::Device[ECP_]
io      |         IRQ     [00000000000007-00000000000007 1] rising edge
(32bit) (align=0 flags=4001)
io      |         IOPORT  [00000000000778-0000000000077f 8] non-pref
(32bit) (align=7 flags=c003)
io      |         IOPORT  [00000000000378-0000000000037f 8] non-pref
(32bit) (align=7 flags=c003)
io      |       P6Device: PS2M "PNP0F03"
io      |       Hw::Device[PS2M]
io      |         IRQ     [0000000000000c-0000000000000c 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: PS2K "PNP0303"
io      |       Hw::Device[PS2K]
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: UAR1 "PNP0501"
io      |       Hw::Device[UAR1]
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: UAR2 "PNP0501"
io      |       Hw::Device[UAR2]
io      |         IRQ     [00000000000003-00000000000003 1] rising edge
(32bit) (align=0 flags=4001)
io      |         IOPORT  [00000000000000-00000000000007 8] non-pref
(32bit) (align=7 flags=c003)
io      |       P6Device: IELK "AWY0001"
io      |       Hw::Device[IELK]
io      |     P6Device: PEX0 ""
io      |     Hw::Device[PEX0]
io      |       0000:00:1c.0: PCI Bridge [129]
io      |                     0x8086 0x27d0
io      |                     Intel Corporation N10/ICH 7 Family PCI
Express Port 1
io      |       IRQ     [00000000000011-00000000000011 1] level low (32bit)
(align=0 flags=304201)
io      |       IOPORT* [00000000001000-00000000001fff 1000] non-pref
(32bit) (align=fff flags=4003)
io      |       IOMEM * [00000090000000-000000900fffff 100000] pref (64bit)
(align=fffff flags=14402)
io      |       IOMEM * [00000090100000-000000901fffff 100000] non-pref
(32bit) (align=fffff flags=4002)
io      |       PCI IRQ ROUTER:
18Pci_irq_router_resIN12_GLOBAL__N_122Acpi_pci_irq_router_rsEE (0x13d48)
io      |       P6Device:  ""
io      |       Hw::Device[]
io      |         0000:01:00.0: network controller [0]
io      |                       0x10ec 0x8168
io      |                       Realtek Semiconductor Co., Ltd.
RTL8111/8168B PCI Express Gigabit Ethernet cont
io      |         IOMEM   [00000090000000-0000009000ffff 10000] pref
(64bit) (align=ffff flags=14e02)
io      |         IOMEM   [00000090100000-00000090100fff 1000] non-pref
(64bit) (align=fff flags=14a02)
io      |         IOPORT  [00000000001000-000000000010ff 100] non-pref
(32bit) (align=ff flags=4a03)
io      |         IRQ     [00000000000010-00000000000010 1] level low
(32bit) (align=0 flags=304201)
io      |     P6Device: PEX1 ""
io      |     Hw::Device[PEX1]
io      |     P6Device: PEX2 ""
io      |     Hw::Device[PEX2]
io      |       0000:00:1c.2: PCI Bridge [129]
io      |                     0x8086 0x27d4
io      |                     Intel Corporation N10/ICH 7 Family PCI
Express Port 3
io      |       IRQ     [00000000000012-00000000000012 1] level low (32bit)
(align=0 flags=304201)
io      |       IOPORT* [00000000000000-00000000000000 1] non-pref (32bit)
(align=fff flags=5003)
io      |       IOMEM * [00000000000000-00000000000000 1] pref (64bit)
(align=fffff flags=15402)
io      |       IOMEM * [00000000000000-00000000000000 1] non-pref (32bit)
(align=fffff flags=5002)
io      |       PCI IRQ ROUTER:
18Pci_irq_router_resIN12_GLOBAL__N_122Acpi_pci_irq_router_rsEE (0x13e88)
io      |     P6Device: PEX3 ""
io      |     Hw::Device[PEX3]
io      |       0000:00:1c.3: PCI Bridge [129]
io      |                     0x8086 0x27d6
io      |                     Intel Corporation N10/ICH 7 Family PCI
Express Port 4
io      |       IRQ     [00000000000013-00000000000013 1] level low (32bit)
(align=0 flags=304201)
io      |       IOPORT* [00000000000000-00000000000000 1] non-pref (32bit)
(align=fff flags=5003)
io      |       IOMEM * [00000000000000-00000000000000 1] pref (64bit)
(align=fffff flags=15402)
io      |       IOMEM * [00000000000000-00000000000000 1] non-pref (32bit)
(align=fffff flags=5002)
io      |       PCI IRQ ROUTER:
18Pci_irq_router_resIN12_GLOBAL__N_122Acpi_pci_irq_router_rsEE (0x13fc8)
io      |     P6Device: PEX4 ""
io      |     Hw::Device[PEX4]
io      |     P6Device: PEX5 ""
io      |     Hw::Device[PEX5]
io      |     P6Device: APIC "PNP0003"
io      |     Hw::Device[APIC]
io      |       IOMEM   [000000fec00000-000000fec000ff 100] non-pref
(32bit) (align=ff flags=c002)
io      |     P6Device: HPET "PNP0103"
io      |     Hw::Device[HPET]
io      |       IOMEM   [000000fed00000-000000fed003ff 400] non-pref
(32bit) (align=3ff flags=c002)
io      |     P6Device: UHC1 ""
io      |     Hw::Device[UHC1]
io      |       0000:00:1d.0: serial bus controller [128]
io      |                     0x8086 0x27c8
io      |                     Intel Corporation N10/ICH 7 Family USB UHCI
Controller #1
io      |       IOPORT  [00000000002080-0000000000209f 20] non-pref (32bit)
(align=1f flags=4a03)
io      |       IRQ     [00000000000017-00000000000017 1] level low (32bit)
(align=0 flags=304201)
io      |     P6Device: UHC2 ""
io      |     Hw::Device[UHC2]
io      |       0000:00:1d.1: serial bus controller [0]
io      |                     0x8086 0x27c9
io      |                     Intel Corporation N10/ICH 7 Family USB UHCI
Controller #2
io      |       IOPORT  [00000000002060-0000000000207f 20] non-pref (32bit)
(align=1f flags=4a03)
io      |       IRQ     [00000000000013-00000000000013 1] level low (32bit)
(align=0 flags=304201)
io      |     P6Device: UHC3 ""
io      |     Hw::Device[UHC3]
io      |       0000:00:1d.2: serial bus controller [0]
io      |                     0x8086 0x27ca
io      |                     Intel Corporation N10/ICH 7 Family USB UHCI
Controller #3
io      |       IOPORT  [00000000002040-0000000000205f 20] non-pref (32bit)
(align=1f flags=4a03)
io      |       IRQ     [00000000000012-00000000000012 1] level low (32bit)
(align=0 flags=304201)
io      |     P6Device: UHC4 ""
io      |     Hw::Device[UHC4]
io      |       0000:00:1d.3: serial bus controller [0]
io      |                     0x8086 0x27cb
io      |                     Intel Corporation N10/ICH 7 Family USB UHCI
Controller #4
io      |       IOPORT  [00000000002020-0000000000203f 20] non-pref (32bit)
(align=1f flags=4a03)
io      |       IRQ     [00000000000010-00000000000010 1] level low (32bit)
(align=0 flags=304201)
io      |     P6Device: EHCI ""
io      |     Hw::Device[EHCI]
io      |       0000:00:1d.7: serial bus controller [0]
io      |                     0x8086 0x27cc
io      |                     Intel Corporation N10/ICH 7 Family USB2 EHCI
Controller
io      |       IOMEM   [000000902c4000-000000902c43ff 400] non-pref
(32bit) (align=3ff flags=4a02)
io      |       IRQ     [00000000000017-00000000000017 1] level low (32bit)
(align=0 flags=304201)
io      |     P6Device: AC9M ""
io      |     Hw::Device[AC9M]
io      |     P6Device: AZAL ""
io      |     Hw::Device[AZAL]
io      |       0000:00:1b.0: multimedia device [0]
io      |                     0x8086 0x27d8
io      |                     Intel Corporation N10/ICH 7 Family High
Definition Audio Controller
io      |       IOMEM   [000000902c0000-000000902c3fff 4000] non-pref
(64bit) (align=3fff flags=14a02)
io      |       IRQ     [00000000000016-00000000000016 1] level low (32bit)
(align=0 flags=304201)
io      |     P6Device: IDEC ""
io      |     Hw::Device[IDEC]
io      |       0000:00:1f.1: mass storage contoller [0]
io      |                     0x8086 0x27df
io      |                     Intel Corporation 82801G (ICH7 Family) IDE
Controller
io      |       IOPORT  [000000000020b0-000000000020bf 10] non-pref (32bit)
(align=f flags=4a03)
io      |       IOPORT  [000000000020f0-000000000020f3 4] non-pref (32bit)
(align=3 flags=4a03)
io      |       IOPORT  [000000000020d0-000000000020d7 8] non-pref (32bit)
(align=7 flags=4a03)
io      |       IOPORT  [000000000020f4-000000000020f7 4] non-pref (32bit)
(align=3 flags=4a03)
io      |       IOPORT  [000000000020d8-000000000020df 8] non-pref (32bit)
(align=7 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      |       IRQ     [00000000000012-00000000000012 1] level low (32bit)
(align=0 flags=304201)
io      |       P6Device: PRID ""
io      |       Hw::Device[PRID]
io      |         P6Device: P_D0 ""
io      |         Hw::Device[P_D0]
io      |         P6Device: P_D1 ""
io      |         Hw::Device[P_D1]
io      |     P6Device: IDES ""
io      |     Hw::Device[IDES]
io      |       0000:00:1f.2: mass storage contoller [0]
io      |                     0x8086 0x27c0
io      |                     Intel Corporation N10/ICH7 Family SATA IDE
Controller
io      |       IOPORT  [000000000020a0-000000000020af 10] non-pref (32bit)
(align=f flags=4a03)
io      |       IOPORT  [000000000020e8-000000000020eb 4] non-pref (32bit)
(align=3 flags=4a03)
io      |       IOPORT  [000000000020c0-000000000020c7 8] non-pref (32bit)
(align=7 flags=4a03)
io      |       IOPORT  [000000000020ec-000000000020ef 4] non-pref (32bit)
(align=3 flags=4a03)
io      |       IOPORT  [000000000020c8-000000000020cf 8] non-pref (32bit)
(align=7 flags=4a03)
io      |       IRQ     [00000000000013-00000000000013 1] level low (32bit)
(align=0 flags=304201)
io      |       P6Device: PRID ""
io      |       Hw::Device[PRID]
io      |         P6Device: P_D0 ""
io      |         Hw::Device[P_D0]
io      |         P6Device: P_D1 ""
io      |         Hw::Device[P_D1]
io      |       P6Device: SECD ""
io      |       Hw::Device[SECD]
io      |         P6Device: S_D0 ""
io      |         Hw::Device[S_D0]
io      |         P6Device: S_D1 ""
io      |         Hw::Device[S_D1]
io      |     P6Device:  ""
io      |     Hw::Device[]
io      |       0000:00:00.0: Host/PCI Bridge [0]
io      |                     0x8086 0x2770
io      |                     Intel Corporation 82945G/GZ/P/PL Memory
Controller Hub
io      |     P6Device:  ""
io      |     Hw::Device[]
io      |       0000:00:02.0: display controller [0]
io      |                     0x8086 0x2772
io      |                     Intel Corporation 82945G/GZ Integrated
Graphics Controller
io      |       IOMEM   [00000090280000-000000902bffff 40000] non-pref
(32bit) (align=3ffff flags=4a02)
io      |       IOMEM   [00000080000000-0000008fffffff 10000000] pref
(32bit) (align=fffffff flags=4e02)
io      |       IOPORT  [000000000020e0-000000000020e7 8] non-pref (32bit)
(align=7 flags=4a03)
io      |       IOMEM   [00000090200000-0000009027ffff 80000] non-pref
(32bit) (align=7ffff flags=4a02)
io      |       IRQ     [00000000000010-00000000000010 1] level low (32bit)
(align=0 flags=304201)
io      |     P6Device:  ""
io      |     Hw::Device[]
io      |       0000:00:1f.3: serial bus controller [0]
io      |                     0x8086 0x27da
io      |                     Intel Corporation N10/ICH 7 Family SMBus
Controller
io      |       IOPORT  [00000000002000-0000000000201f 20] non-pref (32bit)
(align=1f flags=4a03)
io      |       IRQ     [00000000000013-00000000000013 1] level low (32bit)
(align=0 flags=304201)
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=4102)
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      | Ready. Waiting for request.
l4linux | PH  0 (t:        1) offs=00001000 vaddr=00400000 vend=007de000
l4linux |                     phys=00400000 ephys=007de000
l4linux |                     f_sz=003de000 memsz=003de000 flgs=r-x
l4linux | PH  1 (t:        1) offs=003df000 vaddr=007de000 vend=008fa000
l4linux |                     phys=007de000 ephys=008fa000
l4linux |                     f_sz=00070000 memsz=0011c000 flgs=rw-
l4linux | PH  2 (t:        4) offs=00302a90 vaddr=00701a90 vend=00701ab4
l4linux |                     phys=00701a90 ephys=00701ab4
l4linux |                     f_sz=00000024 memsz=00000024 flgs=---
l4linux | Starting binary at 0x400000, argc=6 argv=0x80007f90
*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@mayuresh) (gcc version 4.6.3
(Ubuntu/Linaro 4.6.3-1ubuntu5) ) #16 SMP Wed Jul 25 17:05:02 CEST 2012
l4linux | Binary name: rom/vmlinuz
l4linux | Linux kernel command line (5 args): mem=800M earlyprintk=yes
l4x_rd=rom/squeezesmall-x.img root=1:0 ramdisk_size=400000
l4linux | CPU mapping (l:p)[1]: 0:0
l4linux | Image: 00400000 - 008fa000 [5096 KiB].
l4linux | Areas: Text:     00400000 - 007de000 [3960kB] (a bit longer)
l4linux |        Data:     007de000 - 008102a0 [200kB]
l4linux |        Initdata: 00811000 - 00848000 [220kB]
l4linux |        BSS:      0084e000 - 008ea000 [624kB]
io      | map mem: p=a0000 v=4a0000 s=20000: done
l4linux | gs=43   fs=43
l4linux | Device scan:
l4linux |   Device: PNP0900
l4linux |     IRQ: 0000000b - 0000000b
io      | request resource: IOPORT  [0000000000000b-0000000000000b 1]
non-pref (32bit) (align=0 flags=4003)
io      |
l4linux |     PORT: 00000000 - 00000fff
io      | request resource: IOPORT  [00000000000000-00000000000fff 1000]
non-pref (32bit) (align=fff flags=4003)
io      |
l4linux |     PORT: 0000c000 - 0000c00f
io      | request resource: IOPORT  [0000000000c000-0000000000c00f 10]
non-pref (32bit) (align=f flags=4003)
io      |
l4linux |     MEM: 000a0000 - 000bffff
io      | request resource: IOPORT  [000000000a0000-000000000bffff 20000]
non-pref (32bit) (align=1ffff flags=4003)
io      |
l4linux |   Device: PNP0303
l4linux |     IRQ: 00000001 - 00000001
io      | request resource: IOPORT  [00000000000001-00000000000001 1]
non-pref (32bit) (align=0 flags=4003)
io      |
l4linux |     IRQ: 0000000c - 0000000c
io      | request resource: IOPORT  [0000000000000c-0000000000000c 1]
non-pref (32bit) (align=0 flags=4003)
io      |
l4linux |   Device: BIOS
l4linux |     MEM: 0009f000 - 0009ffff
io      | request resource: IOPORT  [0000000009f000-0000000009ffff 1000]
non-pref (32bit) (align=fff flags=4003)
io      |
l4linux |     MEM: 000c0000 - 000fffff
io      | request resource: IOPORT  [000000000c0000-000000000fffff 40000]
non-pref (32bit) (align=3ffff flags=4003)
io      |
l4linux |   Device:
l4linux |     IRQ: 00000010 - 00000010
io      | request resource: IOPORT  [00000000000010-00000000000010 1]
non-pref (32bit) (align=0 flags=4003)
io      |
l4linux |     MEM: 90200000 - 9027ffff
io      | request resource: IOPORT  [00000090200000-0000009027ffff 80000]
non-pref (32bit) (align=7ffff flags=4003)
io      |
l4linux |     PORT: 000020e0 - 000020e7
io      | request resource: IOPORT  [000000000020e0-000000000020e7 8]
non-pref (32bit) (align=7 flags=4003)
io      |
l4linux |     MEM: 80000000 - 8fffffff
io      | request resource: IOPORT  [00000080000000-0000008fffffff
10000000] non-pref (32bit) (align=fffffff flags=4003)
io      |
l4linux |     MEM: 90280000 - 902bffff
io      | request resource: IOPORT  [00000090280000-000000902bffff 40000]
non-pref (32bit) (align=3ffff flags=4003)
io      |
l4linux |   Device:
l4linux |     IRQ: 00000013 - 00000013
io      | request resource: IOPORT  [00000000000013-00000000000013 1]
non-pref (32bit) (align=0 flags=4003)
io      |
l4linux |     PORT: 000020c8 - 000020cf
io      | request resource: IOPORT  [000000000020c8-000000000020cf 8]
non-pref (32bit) (align=7 flags=4003)
io      |
l4linux |     PORT: 000020ec - 000020ef
io      | request resource: IOPORT  [000000000020ec-000000000020ef 4]
non-pref (32bit) (align=3 flags=4003)
io      |
l4linux |     PORT: 000020c0 - 000020c7
io      | request resource: IOPORT  [000000000020c0-000000000020c7 8]
non-pref (32bit) (align=7 flags=4003)
io      |
l4linux |     PORT: 000020e8 - 000020eb
io      | request resource: IOPORT  [000000000020e8-000000000020eb 4]
non-pref (32bit) (align=3 flags=4003)
io      |
l4linux |     PORT: 000020a0 - 000020af
io      | request resource: IOPORT  [000000000020a0-000000000020af 10]
non-pref (32bit) (align=f flags=4003)
io      |
l4linux |   Device:
l4linux |     IRQ: 00000012 - 00000012
io      | request resource: IOPORT  [00000000000012-00000000000012 1]
non-pref (32bit) (align=0 flags=4003)
io      |
l4linux |     PORT: 000001f0 - 000001f7
io      | request resource: IOPORT  [000000000001f0-000000000001f7 8]
non-pref (32bit) (align=7 flags=4003)
io      |
l4linux |     PORT: 000003f6 - 000003f6
io      | request resource: IOPORT  [000000000003f6-000000000003f6 1]
non-pref (32bit) (align=0 flags=4003)
io      |
l4linux |     IRQ: 0000000e - 0000000e
io      | request resource: IOPORT  [0000000000000e-0000000000000e 1]
non-pref (32bit) (align=0 flags=4003)
io      |
l4linux |     PORT: 00000170 - 00000177
io      | request resource: IOPORT  [00000000000170-00000000000177 8]
non-pref (32bit) (align=7 flags=4003)
io      |
l4linux |     PORT: 00000376 - 00000376
io      | request resource: IOPORT  [00000000000376-00000000000376 1]
non-pref (32bit) (align=0 flags=4003)
io      |
l4linux |     IRQ: 0000000f - 0000000f
io      | request resource: IOPORT  [0000000000000f-0000000000000f 1]
non-pref (32bit) (align=0 flags=4003)
io      |
l4linux |     PORT: 000020d8 - 000020df
io      | request resource: IOPORT  [000000000020d8-000000000020df 8]
non-pref (32bit) (align=7 flags=4003)
io      |
l4linux |     PORT: 000020f4 - 000020f7
io      | request resource: IOPORT  [000000000020f4-000000000020f7 4]
non-pref (32bit) (align=3 flags=4003)
io      |
l4linux |     PORT: 000020d0 - 000020d7
io      | request resource: IOPORT  [000000000020d0-000000000020d7 8]
non-pref (32bit) (align=7 flags=4003)
io      |
l4linux |     PORT: 000020f0 - 000020f3
io      | request resource: IOPORT  [000000000020f0-000000000020f3 4]
non-pref (32bit) (align=3 flags=4003)
io      |
l4linux |     PORT: 000020b0 - 000020bf
io      | request resource: IOPORT  [000000000020b0-000000000020bf 10]
non-pref (32bit) (align=f flags=4003)
io      |
l4linux |   Device:
l4linux |     IRQ: 00000010 - 00000010
io      | request resource: IOPORT  [00000000000010-00000000000010 1]
non-pref (32bit) (align=0 flags=4003)
io      |
l4linux |     PORT: 00001000 - 000010ff
io      | request resource: IOPORT  [00000000001000-000000000010ff 100]
non-pref (32bit) (align=ff flags=4003)
io      |
l4linux |     MEM: 90100000 - 90100fff
io      | request resource: IOPORT  [00000090100000-00000090100fff 1000]
non-pref (32bit) (align=fff flags=4003)
io      |
l4linux |     MEM: 90000000 - 9000ffff
io      | request resource: IOPORT  [00000090000000-0000009000ffff 10000]
non-pref (32bit) (align=ffff flags=4003)
io      |
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 416 (cpu0) (u:b3000400,
v:b3000600, sp:007dfff4)
l4linux | main thread will be 416
l4linux | l4x_register_pointer_section: addr = 007de000 size = 1163264
l4linux | section-with-init: virt: 0x7de000 to 0x8f9fff [1136 KiB]
l4linux | section-with-init: Phys: 0x00a41000 to 0x00b5d000, Size:  1163264
l4linux | l4x_linux_startup: thread 416.
l4linux | Main thread running, waiting...
l4linux | main thread: received startup message.
l4linux | WARNING: Unknown wrmsr: 0000008b at 0x6f7d1f
l4linux | WARNING: Unknown rdmsr: 0000008b at 0x6f7d27
l4linux | l4x_setup_memory: Forcing superpages for main memory
l4linux | l4re_global_env: 0xb1007f04
l4linux | Main memory size: 800MB
l4linux |     Main memory: virt: 0xc00000 to 0x32bfffff [819200 KiB]
l4linux |     Main memory: Phys: 0x1a800000 to 0x4c800000, Size: 838860800
l4linux | Filling lower ptabs...
l4linux | Done (1533 entries).
l4linux | l4x_register_pointer_section: addr = 007de000 size = 1163264
l4linux |             end: virt: 0x7de000 to 0x8f9fff [1136 KiB]
l4linux |             end: Phys: 0x00a41000 to 0x00b5d000, Size:  1163264
l4linux | l4x_rd_path: rom/squeezesmall-x.img
l4linux | Loading: rom/squeezesmall-x.img
l4linux | INITRD: Size of RAMdisk is 393216KiB
l4linux | RAMdisk from 3ac00000 to 52c00000 [393216KiB]
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
Disabled fast string operations
BIOS-provided physical RAM map:
 L4Lx-Memory: 0000000000000000 - 0000000000400000 (reserved)
 L4Lx-Memory: 0000000000400000 - 00000000008fa000 (usable)
 L4Lx-Memory: 00000000008fa000 - 0000000000c00000 (unusable)
 L4Lx-Memory: 0000000000c00000 - 0000000032c00000 (usable)
Notice: NX (Execute Disable) protection cannot be enabled: non-PAE kernel!
last_pfn = 0x32c00 max_arch_pfn = 0x100000
init_memory_mapping: 0000000000000000-0000000032c00000
INITRD: 3ac00000 - 52c00000
812MB LOWMEM available.
  mapped low ram: 0 - 32c00000
  low ram: 0 - 32c00000
Zone PFN ranges:
  DMA      0x00000400 -> 0x00000000
  Normal   0x00000000 -> 0x00032c00
Movable zone start PFN for each node
early_node_map[2] active PFN ranges
    0: 0x00000400 -> 0x000008fa
    0: 0x00000c00 -> 0x00032c00
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 32c00000 (gap: 32c00000:cd400000)
setup_percpu: NR_CPUS:8 nr_cpumask_bits:8 nr_cpu_ids:1 nr_node_ids:1
PERCPU: Embedded 11 pages/cpu @32000000 s20896 r0 d24160 u4194304
Built 1 zonelists in Zone order, mobility grouping on.  Total pages: 204458
Kernel command line: mem=800M earlyprintk=yes l4x_rd=rom/squeezesmall-x.img
root=1:0 ramdisk_size=400000
console [earlykdb0] enabled
PID hash table entries: 4096 (order: 2, 16384 bytes)
Dentry cache hash table entries: 131072 (order: 7, 524288 bytes)
Inode-cache hash table entries: 65536 (order: 6, 262144 bytes)
Initializing CPU#0
Memory: 811944k/831488k available (3077k kernel code, 12352k reserved,
1083k data, 220k init, 0k highmem)
virtual kernel memory layout:
    fixmap  : 0x00100000 - 0x001e7000   ( 924 kB)
    vmalloc : 0x32c00000 - 0x3ac00000   ( 128 MB)
    lowmem  : 0x00000000 - 0x32c00000   ( 812 MB)
      .init : 0x00811000 - 0x00848000   ( 220 kB)
      .data : 0x00701618 - 0x008102a0   (1083 kB)
      .text : 0x00400000 - 0x00701618   (3077 kB)
Hierarchical RCU implementation.
NR_IRQS:512
l4lx_irq_init: l4lx_irq_max = 512
l4linux | rtc not found
Console: colour VGA+ 80x25
console [tty0] enabled
l4lx_irq_dev_startup_timer(0)
l4linux | l4lx_thread_create: Created thread 41f (timer.i0) (u:b3000800,
v:00000000, sp:0087fff8)
Detected 1596.021 MHz procesl4linux | timer_irq_thread: Starting timer IRQ
thread.
sor.
Calibrating delay loop (skipped), value calculated using timer frequency..
3192.04 BogoMIPS (lpj=15960210)
pid_max: default: 32768 minimum: 301
Mount-cache hash table entries: 512
l4linux | WARNING: Unknown wrmsr: 0000008b at 0x6f7d1f
l4linux | WARNING: Unknown rdmsr: 0000008b at 0x6f7d27
Disabled fast string operations
CPU: Physical Processor ID: 0
CPU: Processor Core ID: 0
SMP alternatives: switching to UP code
Freeing SMP alternatives: 24k freed
CPU0: Intel(R) Atom(TM) CPU  330   @ 1.60GHz stepping 02
Performance Events: l4linux | WARNING: Unknown rdmsr: 00000345 at 0x817cac
no PEBS fmt3+, Atom events, l4linux | WARNING: Unknown rdmsr: 00000186 at
0x818311
l4linux | WARNING: Unknown rdmsr: 00000187 at 0x818311
l4linux | WARNING: Unknown rdmsr: 0000038d at 0x818344
Broken BIOS detected, complain to your hardware vendor.
[Firmware Bug]: the BIOS has corrupted hw-PMU resources (MSR 38d is
b30006000000038d)
Intel PMU driver.
l4linux | Page fault (non-resolved): pfa=1e3342 pc=416170
l4linux | Page fault (non-resolved): pfa=1a8 pc=493edb
Die message: Trap: 14
Trap: 14: 0004 [#1] SMP
Modules linked in:

Pid: 1, comm: swapper Not tainted 3.0.0-l4-svn23 #16
EIP: 0000:[<00493edb>] EFLAGS: 00010202 CPU: 0
EIP is at do_coredump+0x4b/0xa50
EAX: 00000000 EBX: 0000000a ECX: 31c35fb4 EDX: 0000000b
ESI: 31c35cac EDI: 00000000 EBP: 31c35c24 ESP: 31c35b8c
 DS: 0000 ES: 0000 FS: 005b GS: 0043 SS: 0023
Process swapper (pid: 1, ti=31c34000 task=31c33bc0 task.ti=31c34000)
Stack:
 31c35b94 00000000 31c35c04 0046a6b2 00000001 00000041 b3000600 31c15000
 00000000 31c16dc0 0000000b 0048b223 31c268f8 0000000b 31c26904 00000000
 31c35bd8 0043308d 0000000b 31c35bec 31c33e30 31c35cac 31c35bec 0000000b
Call Trace:
 [<0046a6b2>] ? get_page_from_freelist+0x142/0x460
 [<0048b223>] ? kmem_cache_free+0x43/0x60
 [<0043308d>] ? __sigqueue_free+0x2d/0x30
 [<0046aaab>] ? __alloc_pages_nodemask+0xdb/0x560
 [<004351f4>] get_signal_to_deliver+0x174/0x3b0
 [<00408653>] do_signal+0x43/0x7a0
 [<006fd6e0>] ? cache_alloc_refill+0x66/0x425
 [<007011ed>] ? _raw_spin_unlock_irqrestore+0xd/0x10
 [<004339fe>] ? signal_wake_up+0x2e/0x40
 [<00433b7c>] ? complete_signal+0xec/0x1f0
 [<00433db8>] ? __send_signal.constprop.31+0x138/0x2b0
 [<007011ed>] ? _raw_spin_unlock_irqrestore+0xd/0x10
 [<004345f6>] ? force_sig_info+0xa6/0xd0
 [<00403541>] l4x_deliver_signal+0x61/0x70
 [<0042cc60>] ? remote_softirq_receive+0x40/0x40
 [<007011ed>] ? _raw_spin_unlock_irqrestore+0xd/0x10
 [<00586a76>] ? vgacon_set_cursor_size.isra.11+0x96/0x120
 [<00416170>] ? native_apic_mem_write+0x10/0x20
 [<006fc14d>] l4x_vcpu_entry_kern+0x3f9/0x99c
 [<0044354d>] ? atomic_notifier_call_chain+0x1d/0x20
 [<005a8ff2>] ? notify_update+0x22/0x30
 [<005a9bee>] ? vt_console_print+0x25e/0x340
 [<005a9990>] ? set_cursor+0x80/0x80
 [<00416170>] ? native_apic_mem_write+0x10/0x20
 [<007011ed>] ? _raw_spin_unlock_irqrestore+0xd/0x10
 [<004282e1>] ? console_unlock+0x171/0x1c0
 [<0040477f>] l4x_vcpu_entry+0x5ff/0x1790
 [<00428511>] ? vprintk+0x191/0x3e0
 [<0040477f>] ? l4x_vcpu_entry+0x5ff/0x1790
 [<007011ed>] ? _raw_spin_unlock_irqrestore+0xd/0x10
 [<00428511>] ? vprintk+0x191/0x3e0
 [<004143cb>] ? perf_events_lapic_init+0x2b/0x30
 [<008184cf>] ? init_hw_perf_events+0xcca/0xe8b
 [<006f7b07>] ? print_cpu_info+0x93/0x125
 [<00817805>] ? check_bugs+0xe6/0xe6
 [<0040005b>] ? do_one_initcall+0x2b/0x170
 [<0081a071>] ? native_smp_prepare_cpus+0x1c0/0x1c7
 [<008115b2>] ? start_kernel+0x2b1/0x2b1
 [<008115fd>] ? kernel_init+0x4b/0x10e
 [<008115b2>] ? start_kernel+0x2b1/0x2b1
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 <8b> 87 a8 01
00 00 8b bf 60 01 00 00 89 4d c8 89 45 d4 85 ff 89
EIP: [<00493edb>] do_coredump+0x4b/0xa50 SS:ESP 0023:31c35b8c
---[ end trace 4eaa2a86a8e2da22 ]---
Kernel panic - not syncing: Attempted to kill init!
Pid: 1, comm: swapper Tainted: G      D     3.0.0-l4-svn23 #16
Call Trace:
 [<006fcf1c>] ? printk+0x18/0x1a
 [<006fce1a>] panic+0x57/0x141
 [<0042b053>] do_exit+0x6b3/0x6c0
 [<007011ed>] ? _raw_spin_unlock_irqrestore+0xd/0x10
 [<006fcf1c>] ? printk+0x18/0x1a
 [<0040e300>] oops_end+0x70/0x90
 [<0040e465>] die+0x45/0x70
 [<00493edb>] ? do_coredump+0x4b/0xa50
 [<0046a6b2>] ? get_page_from_freelist+0x142/0x460
 [<0048b223>] ? kmem_cache_free+0x43/0x60
 [<0043308d>] ? __sigqueue_free+0x2d/0x30
 [<0046aaab>] ? __alloc_pages_nodemask+0xdb/0x560
 [<004351f4>] ? get_signal_to_deliver+0x174/0x3b0
 [<00408653>] ? do_signal+0x43/0x7a0
 [<006fd6e0>] ? cache_alloc_refill+0x66/0x425
 [<007011ed>] ? _raw_spin_unlock_irqrestore+0xd/0x10
 [<004339fe>] ? signal_wake_up+0x2e/0x40
 [<00433b7c>] ? complete_signal+0xec/0x1f0
 [<00433db8>] ? __send_signal.constprop.31+0x138/0x2b0
 [<007011ed>] ? _raw_spin_unlock_irqrestore+0xd/0x10
 [<004345f6>] ? force_sig_info+0xa6/0xd0
 [<00403541>] ? l4x_deliver_signal+0x61/0x70
 [<0042cc60>] ? remote_softirq_receive+0x40/0x40
 [<007011ed>] ? _raw_spin_unlock_irqrestore+0xd/0x10
 [<00586a76>] ? vgacon_set_cursor_size.isra.11+0x96/0x120
 [<00416170>] ? native_apic_mem_write+0x10/0x20
 [<006fc14d>] ? l4x_vcpu_entry_kern+0x3f9/0x99c
 [<0044354d>] ? atomic_notifier_call_chain+0x1d/0x20
 [<005a8ff2>] ? notify_update+0x22/0x30
 [<005a9bee>] ? vt_console_print+0x25e/0x340
 [<005a9990>] ? set_cursor+0x80/0x80
 [<00416170>] ? native_apic_mem_write+0x10/0x20
 [<007011ed>] ? _raw_spin_unlock_irqrestore+0xd/0x10
 [<004282e1>] ? console_unlock+0x171/0x1c0
 [<0040477f>] ? l4x_vcpu_entry+0x5ff/0x1790
 [<00428511>] ? vprintk+0x191/0x3e0
 [<0040477f>] ? l4x_vcpu_entry+0x5ff/0x1790
 [<007011ed>] ? _raw_spin_unlock_irqrestore+0xd/0x10
 [<00428511>] ? vprintk+0x191/0x3e0
 [<004143cb>] ? perf_events_lapic_init+0x2b/0x30
 [<008184cf>] ? init_hw_perf_events+0xcca/0xe8b
 [<006f7b07>] ? print_cpu_info+0x93/0x125
 [<00817805>] ? check_bugs+0xe6/0xe6
 [<0040005b>] ? do_one_initcall+0x2b/0x170
 [<0081a071>] ? native_smp_prepare_cpus+0x1c0/0x1c7
 [<008115b2>] ? start_kernel+0x2b1/0x2b1
 [<008115fd>] ? kernel_init+0x4b/0x10e
 [<008115b2>] ? start_kernel+0x2b1/0x2b1
panic: going to sleep forever, bye
l4linux | panic: going to sleep forever, bye


Anand Mayuresh Vivekanand

_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.