L4 Bootstrapper Build: #3 Mi 31. Jul 14:55:03 CEST 2013, x86-32, 4.7.3 RAM: 0000000000000000 - 000000000009fbff: 639kB RAM: 0000000000100000 - 000000007ffeffff: 2096064kB Total RAM: 2047MB Moving up to 12 modules behind 2000000 moving module 00 { 13e000-1aad9f } -> { 3dc6000-3e32d9f } [445856] moving module 01 { 1ab000-205dfb } -> { 3e33000-3e8ddfb } [372220] moving module 02 { 2e5000-547afb } -> { 3e8e000-40f0afb } [2501372] moving module 03 { 548000-682267 } -> { 2000000-213a267 } [1286760] moving module 04 { 683000-8dd2fb } -> { 213b000-23952fb } [2466556] moving module 05 { 206000-206558 } -> { 2396000-2396558 } [1369] moving module 06 { 8de000-1460449 } -> { 2397000-2f19449 } [12067914] moving module 07 { 1461000-18c82ad } -> { 2f1a000-33812ad } [4616878] moving module 08 { 18c9000-1a61bec } -> { 3382000-351abec } [1674221] moving module 09 { 207000-20743b } -> { 351b000-351b43b } [1084] moving module 10 { 208000-208289 } -> { 351c000-351c289 } [650] moving module 11 { 1a62000-1f03fb9 } -> { 351d000-39befb9 } [4857786] Scanning fiasco -serial_esc Scanning sigma0 Scanning moe rom/l4lx-gfx.cfg Bootloader MMAP: [ 0, 9fc00) RAM (1) [ 9fc00, a0000) reserved (2) [ f0000, 100000) reserved (2) [ 100000, 7fff0000) RAM (1) [ 7fff0000, 80000000) ACPI (3) [ fffc0000, 100000000) reserved (2) Relocated mbi to [0x2e0000-0x2e048f] 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 [ 9fc00, 9ffff] { 400} Arch BIOS [ f0000, fffff] { 10000} Arch BIOS [ 100000, 10b197] { b198} Sigma0 sigma0 [ 140000, 18d27f] { 4d280} Root moe [ 2d0000, 2e4427] { 14428} Boot bootstrap [ 2e0000, 2e058c] { 58d} Root Multiboot info [ 300000, 38ffff] { 90000} Kern fiasco [ 400000, 472fff] { 73000} Kern fiasco [ 2000000, 39befb9] { 19befba} Root Module [ 7fff0000, 7fffffff] { 10000} Arch BIOS [ fffc0000, ffffffff] { 40000} Arch BIOS API Version: (87) experimental Sigma0 config ip:0010021c sp:002df150 Roottask config ip:001401f8 sp:00000000 Starting kernel fiasco at 003007e0 Welcome to Fiasco.OC (ia32)! L4/Fiasco.OC ia32 microkernel (C) 1998-2013 TU Dresden Rev: rNicht versioniertes Verzeichnis compiled with gcc 4.7.3 for Intel Pentium [] Build: #1 Mi 10. Jul 21:09:07 CEST 2013  Performance-critical config option(s) detected: CONFIG_NDEBUG is off CONFIG_NO_FRAME_PTR is off  Superpages: yes Kmem:: cpu page at 7fbe2000 (4096Bytes) ACPI-Init ACPI: RSDP[0xe0000] r02 OEM:VBOX.. ACPI: XSDT[0x203f0030] r01 OEM:VBOX.. OEMTID:VBOXXSDT ACPI: FACP[0x203f00f0] r04 OEM:VBOX.. OEMTID:VBOXFACP ACPI: SSDT[0x203f0240] r01 OEM:VBOX.. OEMTID:VBOXCPUT Could not find APIC in RSDT nor XSDT, skipping init Enabling special fully nested mode for PIC Allocate cpu_mem @ 0xfffe5400 FPU0: SSE Local APIC[00]: version=14 max_lvt=5 APIC ESR value before/after enabling: 00000000/00000000 Using the Local APIC timer on vector 90 (Periodic Mode) for scheduling SERIAL ESC: allocated IRQ 4 for serial uart Absolute KIP Syscalls using: Sysenter Enable MSI support: chained IRQ mgr @ 0xfffe5008 SERIAL ESC: allocated IRQ 4 for serial uart Not using serial hack in slow timer handler. CPU[0]: GenuineIntel (6:3A:9:0)[000306a9] Model: Intel(R) Core(TM) i7-3632QM CPU @ 2.20GHz at 2186MHz 64 Entry D TLB (4K pages) 512 Entry D TLB (4k or 4M pages) Freeing init code/data: 28672 bytes (7 pages) Calibrating timer loop... done. SIGMA0: Hello! KIP @ 400000 Found Fiasco: KIP syscalls: yes allocated 4KB for maintenance structures SIGMA0: Dump of all resource maps RAM:------------------------ [0:1000;9efff] [0:10c000;13ffff] [4:140000;18dfff] [0:18e000;2dffff] [4:2e0000;2e0fff] [0:2e1000;3fffff] [0:46c000;1ffffff] [4:2000000;39befff] [0:39bf000;7bffffff] [0:7fc00000;7ffeffff] IOMEM:---------------------- [0:0;fff] [0:9f000;fffff] [0:7fff0000;fedfffff] [0:fee01000;ffffffff] IO PORTS-------------------------- [0:0;fffffff] MOE: Hello world MOE: found 2008096 KByte free memory MOE: found RAM from 1000 to 7fff0000 MOE: allocated 2047 KByte for the page array @0x46c000 MOE: virtual user address space [0-bfffffff] MOE: rom name space cap -> [C:501000] BOOTFS: [2000000-213a268] [C:503000] l4re BOOTFS: [213b000-23952fc] [C:504000] ned BOOTFS: [2396000-2396559] [C:505000] l4lx-gfx.cfg BOOTFS: [2397000-2f1944a] [C:506000] io BOOTFS: [2f1a000-33812ae] [C:507000] mag BOOTFS: [3382000-351abed] [C:508000] fb-drv BOOTFS: [351b000-351b43c] [C:509000] x86-legacy.devs BOOTFS: [351c000-351c28a] [C:50a000] l4lx-x86.io BOOTFS: [351d000-39befba] [C:50b000] vmlinuz No fpage received MOE: cmdline: moe rom/l4lx-gfx.cfg MOE: Starting: rom/ned rom/l4lx-gfx.cfg MOE: loading 'rom/ned' Ned says: Hi World! Ned: loading file: 'rom/l4lx-gfx.cfg' io | Dev_factory: register factory for N2Hw6DeviceE io | GTF: register factory for 7Pci_dev io | GTF: register factory for N2Hw12Msi_resourceE io | Dev_factory: register factory for N2Hw11Gpio_deviceE io | Io service io | Find root Pointer io | Find root Pointer: e0000 io | ACPI: RSDP 0xe0000 00024 (v02 VBOX ) io | ACPI: XSDT 0x7fff0030 00034 (v01 VBOX VBOXXSDT 00000001 ASL 00000061) io | /home/rw/l4exp/l4re-snapshot-2013060718/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:344:AcpiOsPhysicalTableOverride(0xbf00f0, 0x80007cc8, 0x80007ccc): UNINPLEMENTED io | ACPI: FACP 0x7fff00f0 000F4 (v04 VBOX VBOXFACP 00000001 ASL 00000061) io | /home/rw/l4exp/l4re-snapshot-2013060718/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:344:AcpiOsPhysicalTableOverride(0xbf0410, 0x80007ca8, 0x80007cac): UNINPLEMENTED io | ACPI: DSDT 0x7fff0410 01B96 (v01 VBOX VBOXBIOS 00000002 INTL 20100528) io | /home/rw/l4exp/l4re-snapshot-2013060718/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:344:AcpiOsPhysicalTableOverride(0xbf0200, 0x80007ca8, 0x80007cac): UNINPLEMENTED io | ACPI: FACS 0x7fff0200 00040 io | /home/rw/l4exp/l4re-snapshot-2013060718/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:344:AcpiOsPhysicalTableOverride(0xbf0240, 0x80007cc8, 0x80007ccc): UNINPLEMENTED io | ACPI: SSDT 0x7fff0240 001CC (v01 VBOX VBOXCPUT 00000002 INTL 20100528) io | Parsing all Control Methods: io | Table [DSDT](id 0001) - 212 Objects with 23 Devices 64 Methods 4 Regions io | Parsing all Control Methods: io | Table [SSDT](id 0002) - 0 Objects with 0 Devices 0 Methods 0 Regions io | tbxfload-0274 [02] TbLoadNamespace : ACPI Tables successfully acquired io | evxfevnt-0175 [02] Enable : Transition to ACPI mode successful io | evgpeblk-0523 [04] EvCreateGpeBlock : GPE 00 to 07 [_GPE] 1 regs on int 0x9 io | /home/rw/l4exp/l4re-snapshot-2013060718/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:60:AcpiOsInstallInterruptHandler(9, 0x1082f60, 0x39b0): UNINPLEMENTED io | nseval-0527 [03] NsExecModuleCode : Executed module-level code at 0xbf1f4c io | ACPI: Executed 1 blocks of module-level executable AML code io | Completing Region/Field/Buffer/Package initialization:............................... io | Initialized 3/4 Regions 1/1 Fields 20/20 Buffers 7/7 Packages (221 nodes) io | Initializing Device/Processor/Thermal objects by executing _INI methods: io | Executed 1 _INI methods requiring 0 _STA executions (examined 25 objects) io | ACPICA-Version:20121018, System in ACPI MODE, 24bit timer io | <0x9b10>IRQ [00000000000000-00000000000000 1] rising edge (32bit) (align=0 flags=44201) io | <0x1d3b0>IRQ [00000000000000-00000000000000 1] rising edge (32bit) (align=0 flags=44201) io | <0x1d428>IRQ [00000000000000-00000000000000 1] rising edge (32bit) (align=0 flags=44201) io | <0x1d4c8>IRQ [00000000000000-00000000000000 1] rising edge (32bit) (align=0 flags=44201) io | <0x1d568>IRQ [00000000000000-00000000000000 1] rising edge (32bit) (align=0 flags=44201) io | <0x1d5e0>IRQ [00000000000000-00000000000000 1] rising edge (32bit) (align=0 flags=44201) io | <0x1d608>IRQ [00000000000000-00000000000000 1] rising edge (32bit) (align=0 flags=44201) io | rom/l4lx-x86.io:31.37: syntax error, unexpected ';', expecting ')' io | rom/l4lx-x86.io: error using as lua config: rom/l4lx-x86.io:1: unexpected symbol near '>' io | rom/l4lx-x86.io: error (legacy format): parse errors (errno=1) io | Ready. Waiting for request. L4 Bootstrapper Build: #3 Mi 31. Jul 14:55:03 CEST 2013, x86-32, 4.7.3 RAM: 0000000000000000 - 000000000009fbff: 639kB RAM: 0000000000100000 - 000000007ffeffff: 2096064kB Total RAM: 2047MB Moving up to 12 modules behind 2000000 moving module 00 { 13e000-1aad9f } -> { 3dc6000-3e32d9f } [445856] moving module 01 { 1ab000-205dfb } -> { 3e33000-3e8ddfb } [372220] moving module 02 { 2e5000-547afb } -> { 3e8e000-40f0afb } [2501372] moving module 03 { 548000-682267 } -> { 2000000-213a267 } [1286760] moving module 04 { 683000-8dd2fb } -> { 213b000-23952fb } [2466556] moving module 05 { 206000-206558 } -> { 2396000-2396558 } [1369] moving module 06 { 8de000-1460449 } -> { 2397000-2f19449 } [12067914] moving module 07 { 1461000-18c82ad } -> { 2f1a000-33812ad } [4616878] moving module 08 { 18c9000-1a61bec } -> { 3382000-351abec } [1674221] moving module 09 { 207000-20743b } -> { 351b000-351b43b } [1084] moving module 10 { 208000-20828b } -> { 351c000-351c28b } [652] moving module 11 { 1a62000-1f03fb9 } -> { 351d000-39befb9 } [4857786] Scanning fiasco -serial_esc Scanning sigma0 Scanning moe rom/l4lx-gfx.cfg Bootloader MMAP: [ 0, 9fc00) RAM (1) [ 9fc00, a0000) reserved (2) [ f0000, 100000) reserved (2) [ 100000, 7fff0000) RAM (1) [ 7fff0000, 80000000) ACPI (3) [ fffc0000, 100000000) reserved (2) Relocated mbi to [0x2e0000-0x2e048f] 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 [ 9fc00, 9ffff] { 400} Arch BIOS [ f0000, fffff] { 10000} Arch BIOS [ 100000, 10b197] { b198} Sigma0 sigma0 [ 140000, 18d27f] { 4d280} Root moe [ 2d0000, 2e4427] { 14428} Boot bootstrap [ 2e0000, 2e058c] { 58d} Root Multiboot info [ 300000, 38ffff] { 90000} Kern fiasco [ 400000, 472fff] { 73000} Kern fiasco [ 2000000, 39befb9] { 19befba} Root Module [ 7fff0000, 7fffffff] { 10000} Arch BIOS [ fffc0000, ffffffff] { 40000} Arch BIOS API Version: (87) experimental Sigma0 config ip:0010021c sp:002df150 Roottask config ip:001401f8 sp:00000000 Starting kernel fiasco at 003007e0 Welcome to Fiasco.OC (ia32)! L4/Fiasco.OC ia32 microkernel (C) 1998-2013 TU Dresden Rev: rNicht versioniertes Verzeichnis compiled with gcc 4.7.3 for Intel Pentium [] Build: #1 Mi 10. Jul 21:09:07 CEST 2013  Performance-critical config option(s) detected: CONFIG_NDEBUG is off CONFIG_NO_FRAME_PTR is off  Superpages: yes Kmem:: cpu page at 7fbe2000 (4096Bytes) ACPI-Init ACPI: RSDP[0xe0000] r02 OEM:VBOX.. ACPI: XSDT[0x203f0030] r01 OEM:VBOX.. OEMTID:VBOXXSDT ACPI: FACP[0x203f00f0] r04 OEM:VBOX.. OEMTID:VBOXFACP ACPI: SSDT[0x203f0240] r01 OEM:VBOX.. OEMTID:VBOXCPUT Could not find APIC in RSDT nor XSDT, skipping init Enabling special fully nested mode for PIC Allocate cpu_mem @ 0xfffe5400 FPU0: SSE Local APIC[00]: version=14 max_lvt=5 APIC ESR value before/after enabling: 00000000/00000000 Using the Local APIC timer on vector 90 (Periodic Mode) for scheduling SERIAL ESC: allocated IRQ 4 for serial uart Absolute KIP Syscalls using: Sysenter Enable MSI support: chained IRQ mgr @ 0xfffe5008 SERIAL ESC: allocated IRQ 4 for serial uart Not using serial hack in slow timer handler. CPU[0]: GenuineIntel (6:3A:9:0)[000306a9] Model: Intel(R) Core(TM) i7-3632QM CPU @ 2.20GHz at 2186MHz 64 Entry D TLB (4K pages) 512 Entry D TLB (4k or 4M pages) Freeing init code/data: 28672 bytes (7 pages) Calibrating timer loop... done. SIGMA0: Hello! KIP @ 400000 Found Fiasco: KIP syscalls: yes allocated 4KB for maintenance structures SIGMA0: Dump of all resource maps RAM:------------------------ [0:1000;9efff] [0:10c000;13ffff] [4:140000;18dfff] [0:18e000;2dffff] [4:2e0000;2e0fff] [0:2e1000;3fffff] [0:46c000;1ffffff] [4:2000000;39befff] [0:39bf000;7bffffff] [0:7fc00000;7ffeffff] IOMEM:---------------------- [0:0;fff] [0:9f000;fffff] [0:7fff0000;fedfffff] [0:fee01000;ffffffff] IO PORTS-------------------------- [0:0;fffffff] MOE: Hello world MOE: found 2008096 KByte free memory MOE: found RAM from 1000 to 7fff0000 MOE: allocated 2047 KByte for the page array @0x46c000 MOE: virtual user address space [0-bfffffff] MOE: rom name space cap -> [C:501000] BOOTFS: [2000000-213a268] [C:503000] l4re BOOTFS: [213b000-23952fc] [C:504000] ned BOOTFS: [2396000-2396559] [C:505000] l4lx-gfx.cfg BOOTFS: [2397000-2f1944a] [C:506000] io BOOTFS: [2f1a000-33812ae] [C:507000] mag BOOTFS: [3382000-351abed] [C:508000] fb-drv BOOTFS: [351b000-351b43c] [C:509000] x86-legacy.devs BOOTFS: [351c000-351c28c] [C:50a000] l4lx-x86.io BOOTFS: [351d000-39befba] [C:50b000] vmlinuz No fpage received MOE: cmdline: moe rom/l4lx-gfx.cfg MOE: Starting: rom/ned rom/l4lx-gfx.cfg MOE: loading 'rom/ned' Ned says: Hi World! Ned: loading file: 'rom/l4lx-gfx.cfg' io | Dev_factory: register factory for N2Hw6DeviceE io | GTF: register factory for 7Pci_dev io | GTF: register factory for N2Hw12Msi_resourceE io | Dev_factory: register factory for N2Hw11Gpio_deviceE io | Io service io | Find root Pointer io | Find root Pointer: e0000 io | ACPI: RSDP 0xe0000 00024 (v02 VBOX ) io | ACPI: XSDT 0x7fff0030 00034 (v01 VBOX VBOXXSDT 00000001 ASL 00000061) io | /home/rw/l4exp/l4re-snapshot-2013060718/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:344:AcpiOsPhysicalTableOverride(0xbf00f0, 0x80007cc8, 0x80007ccc): UNINPLEMENTED io | ACPI: FACP 0x7fff00f0 000F4 (v04 VBOX VBOXFACP 00000001 ASL 00000061) io | /home/rw/l4exp/l4re-snapshot-2013060718/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:344:AcpiOsPhysicalTableOverride(0xbf0410, 0x80007ca8, 0x80007cac): UNINPLEMENTED io | ACPI: DSDT 0x7fff0410 01B96 (v01 VBOX VBOXBIOS 00000002 INTL 20100528) io | /home/rw/l4exp/l4re-snapshot-2013060718/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:344:AcpiOsPhysicalTableOverride(0xbf0200, 0x80007ca8, 0x80007cac): UNINPLEMENTED io | ACPI: FACS 0x7fff0200 00040 io | /home/rw/l4exp/l4re-snapshot-2013060718/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:344:AcpiOsPhysicalTableOverride(0xbf0240, 0x80007cc8, 0x80007ccc): UNINPLEMENTED io | ACPI: SSDT 0x7fff0240 001CC (v01 VBOX VBOXCPUT 00000002 INTL 20100528) io | Parsing all Control Methods: io | Table [DSDT](id 0001) - 212 Objects with 23 Devices 64 Methods 4 Regions io | Parsing all Control Methods: io | Table [SSDT](id 0002) - 0 Objects with 0 Devices 0 Methods 0 Regions io | tbxfload-0274 [02] TbLoadNamespace : ACPI Tables successfully acquired io | evxfevnt-0175 [02] Enable : Transition to ACPI mode successful io | evgpeblk-0523 [04] EvCreateGpeBlock : GPE 00 to 07 [_GPE] 1 regs on int 0x9 io | /home/rw/l4exp/l4re-snapshot-2013060718/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:60:AcpiOsInstallInterruptHandler(9, 0x1082f60, 0x39b0): UNINPLEMENTED io | nseval-0527 [03] NsExecModuleCode : Executed module-level code at 0xbf1f4c io | ACPI: Executed 1 blocks of module-level executable AML code io | Completing Region/Field/Buffer/Package initialization:............................... io | Initialized 3/4 Regions 1/1 Fields 20/20 Buffers 7/7 Packages (221 nodes) io | Initializing Device/Processor/Thermal objects by executing _INI methods: io | Executed 1 _INI methods requiring 0 _STA executions (examined 25 objects) io | ACPICA-Version:20121018, System in ACPI MODE, 24bit timer io | <0x9b10>IRQ [00000000000000-00000000000000 1] rising edge (32bit) (align=0 flags=44201) io | <0x1d3b0>IRQ [00000000000000-00000000000000 1] rising edge (32bit) (align=0 flags=44201) io | <0x1d428>IRQ [00000000000000-00000000000000 1] rising edge (32bit) (align=0 flags=44201) io | <0x1d4c8>IRQ [00000000000000-00000000000000 1] rising edge (32bit) (align=0 flags=44201) io | <0x1d568>IRQ [00000000000000-00000000000000 1] rising edge (32bit) (align=0 flags=44201) io | <0x1d5e0>IRQ [00000000000000-00000000000000 1] rising edge (32bit) (align=0 flags=44201) io | <0x1d608>IRQ [00000000000000-00000000000000 1] rising edge (32bit) (align=0 flags=44201) io | Ready. Waiting for request. mag | Hello from MAG fb-drv | Trying execution of ``set VBE mode'' using x86emu fb-drv | Found VESA BIOS version 2.0 fb-drv | OEM VirtualBox VESA BIOS fb-drv | VBE mode 0x117 successfully set. fb-drv | Framebuffer memory: phys: e0000000 - e0c00000 fb-drv | virt: 400000 - 1000000 fb-drv | Starting server loop mag | mapped frame buffer at 0x400000 mag | View::Info: mag | flags: 0 mag | size: 1024x768 pos: 0, 0 mag | bytes_per_line: 2048 mag | buffer_offset: 0 mag | RGBA(2): 5(11):6(5):5(0):0(0) mag | memory 400000-1000000 mag | Plugin: Mag_client service started mag | Plugin: Frame-buffer service started mag | L4INPUT native mode activated mag | L4INPUT: !!! W A R N I N G !!! mag | L4INPUT: Please, do not use Fiasco's "-esc" with L4INPUT. mag | L4INPUT: !!! W A R N I N G !!! mag | serio: i8042 AUX port at 0x60,0x64 irq 12 mag | serio: i8042 KBD port at 0x60,0x64 irq 1 mag | input: ImExPS/2 Generic Explorer Mouse on isa0060/serio1 mag | input: AT Translated Set 2 keyboard on isa0060/serio0 mag | connect "ImExPS/2 Generic Explorer Mouse", isa0060/serio1/input0 mag | connect "AT Translated Set 2 keyboard", isa0060/serio0/input0 l4linux | PH 0 (t: 1) offs=00001000 vaddr=00400000 vend=00790000 l4linux | phys=00400000 ephys=00790000 l4linux | f_sz=00390000 memsz=00390000 flgs=r-x l4linux | PH 1 (t: 1) offs=00391000 vaddr=00790000 vend=008a4000 l4linux | phys=00790000 ephys=008a4000 l4linux | f_sz=00060211 memsz=00114000 flgs=rw- l4linux | PH 2 (t: 4) offs=002c3470 vaddr=006c2470 vend=006c2494 l4linux | phys=006c2470 ephys=006c2494 l4linux | f_sz=00000024 memsz=00000024 flgs=--- l4linux | Starting binary at 0x400000, argc=5 argv=0x80007f94 *argv=0xb1007ff4 argv0=rom/vmlinuz l4linux | External resolver is at 0xa8000730 l4linux | ======> L4Linux starting... <======== l4linux | Linux version 3.9.0-l4 (rw@m8p.intern) (gcc version 4.7.3 (Ubuntu/Linaro 4.7.3-1ubuntu1) ) #1 Fri Jul 26 13:04:42 CEST 2013 l4linux | Binary name: rom/vmlinuz l4linux | Linux kernel command line (4 args): mem=512M console=ttyLv0 root=/dev/hda2 init=/bin/sh l4linux | CPU mapping (l:p)[1]: 0:0 l4linux | Image: 00400000 - 008a4000 [4752 KiB]. l4linux | Areas: Text: 00400000 - 00790000 [3648kB] (a bit longer) l4linux | Data: 00790000 - 007bfe20 [191kB] l4linux | Initdata: 007c1000 - 007f1000 [192kB] l4linux | BSS: 007f2000 - 0088f000 [628kB] l4linux | gs=43 fs=43 l4linux | Device scan: l4linux | Device: (noname) l4linux | Device: PCI0 l4linux | Device: pci_l4x[0000] l4linux | IRQ: 00000005 - 00000005 l4linux | PORT: 0000d240 - 0000d247 l4linux | PORT: 0000d248 - 0000d24b l4linux | PORT: 0000d250 - 0000d257 l4linux | PORT: 0000d258 - 0000d25b l4linux | PORT: 0000d260 - 0000d26f l4linux | MEM: f0806000 - f0807fff l4linux | Device: pci_l4x[0001] l4linux | IRQ: 00000005 - 00000005 l4linux | PORT: 0000d100 - 0000d1ff l4linux | PORT: 0000d200 - 0000d23f l4linux | Device: pci_l4x[0002] l4linux | IRQ: 0000000a - 0000000a l4linux | MEM: f0000000 - f001ffff l4linux | PORT: 0000d010 - 0000d017 l4linux | Device: pci_l4x[0003] l4linux | PORT: 000001f0 - 000001f7 l4linux | PORT: 000003f6 - 000003f6 l4linux | IRQ: 0000000e - 0000000e l4linux | PORT: 00000170 - 00000177 l4linux | PORT: 00000376 - 00000376 l4linux | IRQ: 0000000f - 0000000f l4linux | PORT: 0000d000 - 0000d00f l4linux | Device scan done. l4linux | l4x_fiasco_gdt_entry_offset = 9 l4linux | rtc not found l4linux | WARNING: RTC server does not seem to be there! l4linux | l4lx_thread_create: Created thread 418 (cpu0) (u:b3000e00, v:b3000c00, sp:00791fac) l4linux | main thread will be 418 l4linux | l4x_register_pointer_section: addr = 00790000 size = 1130496 l4linux | section-with-init: virt: 0x790000 to 0x8a3fff [1104 KiB] l4linux | section-with-init: Phys: 0x00b6a000 to 0x00c7e000, Size: 1130496 l4linux | Main thread running, waiting... l4linux | WARNING: Unknown wrmsr: 0000008b at 0x7dbc38 l4linux | L4x: Setting superpages for main memory l4linux | Main memory size: 512MB l4linux | Adjusted memory start: 00400000 l4linux | Main memory: virt: 0xc00000 to 0x20bfffff [524288 KiB] l4linux | Main memory: Phys: 0x03c00000 to 0x23c00000, Size: 536870912 l4linux | l4x: vmalloc area: 20c00000 - 28c00000 l4linux | Filling lower ptabs... l4linux | Done (1882 entries). l4linux | l4x_register_pointer_section: addr = 00400000 size = 3735552 l4linux | text: virt: 0x400000 to 0x78ffff [3648 KiB] l4linux | text: Phys: 0x007da000 to 0x00b6a000, Size: 3735552 l4linux | rtc not found Linux version 3.9.0-l4 (rw@m8p.intern) (gcc version 4.7.3 (Ubuntu/Linaro 4.7.3-1ubuntu1) ) #1 Fri Jul 26 13:04:42 CEST 2013 Disabled fast string operations e820: BIOS-provided physical RAM map: L4Lx-Memory: [mem 0x0000000000000000-0x00000000003fffff] reserved L4Lx-Memory: [mem 0x0000000000400000-0x00000000008a3fff] usable L4Lx-Memory: [mem 0x00000000008a4000-0x0000000000bfffff] unusable L4Lx-Memory: [mem 0x0000000000c00000-0x0000000020bfffff] usable Notice: NX (Execute Disable) protection cannot be enabled: non-PAE kernel! .text .data .bss are not marked as E820_RAM! e820: last_pfn = 0x20c00 max_arch_pfn = 0x100000 init_memory_mapping: [mem 0x00000000-0x000fffff] init_memory_mapping: [mem 0x20800000-0x20bfffff] init_memory_mapping: [mem 0x20000000-0x207fffff] init_memory_mapping: [mem 0x00400000-0x008a3fff] init_memory_mapping: [mem 0x00c00000-0x1fffffff] 524MB LOWMEM available. mapped low ram: 0 - 20c00000 low ram: 0 - 20c00000 Zone ranges: DMA [mem 0x00400000-0xffffffff] Normal [mem 0x00000000-0x20bfffff] Movable zone start for each node Early memory node ranges node 0: [mem 0x00400000-0x008a3fff] node 0: [mem 0x00c00000-0x20bfffff] e820: [mem 0x20c00000-0xffffffff] available for PCI devices Built 1 zonelists in Zone order, mobility grouping on. Total pages: 131220 Kernel command line: mem=512M console=ttyLv0 root=/dev/hda2 init=/bin/sh 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) __ex_table already sorted, skipping sort Initializing CPU#0 Memory: 519360k/536576k available (2823k kernel code, 9680k reserved, 1015k data, 192k init, 0k highmem) virtual kernel memory layout: fixmap : 0x28d01000 - 0x28d1b000 ( 104 kB) vmalloc : 0x20c00000 - 0x28c00000 ( 128 MB) lowmem : 0x00000000 - 0x20c00000 ( 524 MB) .init : 0x007c1000 - 0x007f1000 ( 192 kB) .data : virtual kernel memory layout: fixmap : 0x28d01000 - 0x28d1b000 ( 104 kB) vmNR_IRQS:192 nr_irqs:192 192 Console: colour dummy device 80x25 console [ttyLv0] enabled l4timer: Using IRQ65 l4linux | l4lx_thread_create: Created thread 41f (timer) (u:b3000a00, v:00000000, sp:00825fa8) Detected 2186.446 MHz processor Calibrating delay loop (skipped), value calculated using timer frequency.. 4372.89 BogoMIPS (lpj=21864460) pid_max: default: 32768 minimum: 301 Mount-cache hash table entries: 512 l4linux | WARNING: Unknown wrmsr: 0000008b at 0x7dbc38 Disabled fast string operations Last level iTLB entries: 4KB 512, 2MB 0, 4MB 0 Last level dTLB entries: 4KB 512, 2MB 32, 4MB 32 tlb_flushall_shift: 1 CPU: Intel(R) Core(TM) i7-3632QM CPU @ 2.20GHz (fam: 06, model: 3a, stepping: 09) Performance Events: unsupported p6 CPU model 58 no PMU driver, software events only. NET: Registered protocol family 16 bio: create slab at 0 vgaarb: loaded SCSI subsystem initialized pps_core: LinuxPPS API ver. 1 registered pps_core: Software ver. 5.3.6 - Copyright 2005-2007 Rodolfo Giometti PTP clock support registered l4vPCI: L4 root bridge is device 39d20 PCI host bridge to bus 0000:00 pci_bus 0000:00: root bus resource [io 0x0000-0xffff] pci_bus 0000:00: root bus resource [mem 0x00000000-0xffffffff] pci_bus 0000:00: root bus resource [bus 00-ff] l4vPCI: Using L4-IO for IRQ routing L4IRQ: set irq type of 5 to 8 pci 0000:00:00.0: PCI INT A -> GSI 5 (level, low) -> IRQ 5 L4IRQ: set irq type of 5 to 8 pci 0000:00:01.0: PCI INT A -> GSI 5 (level, low) -> IRQ 5 L4IRQ: set irq type of 10 to 8 pci 0000:00:02.0: PCI INT A -> GSI 10 (level, low) -> IRQ 10 pci 0000:00:03.0: No interrupt pin configured for device 0000:00:03.0 Switching to clocksource l4kipclk NET: Registered protocol family 2 TCP established hash table entries: 8192 (order: 4, 65536 bytes) TCP bind hash table entries: 8192 (order: 3, 32768 bytes) TCP: Hash tables configured (established 8192 bind 8192) TCP: reno registered UDP hash table entries: 256 (order: 0, 4096 bytes) UDP-Lite hash table entries: 256 (order: 0, 4096 bytes) NET: Registered protocol family 1 RPC: Registered named UNIX socket transport module. RPC: Registered udp transport module. RPC: Registered tcp transport module. RPC: Registered tcp NFSv4.1 backchannel transport module. l4x: Checks passed. platform rtc_cmos: registered platform RTC device (no PNP device found) NFS: Registering the id_resolver key type Key type id_resolver registered Key type id_legacy registered msgmni has been set to 1014 io scheduler noop registered io scheduler deadline registered io scheduler cfq registered (default) l4fb.0: looking for capability 'fb' as goos session l4fb l4fb.0: 640x480@16 2bypp, size: 614400 @ 28e00000 l4fb l4fb.0: 5:6:5 11:5:0 linelen=1280 visual=2 l4fb l4fb.0: l4fb L4 frame buffer device (refresh: 10jiffies) Console: switching to colour frame buffer device 80x30 L4 serial driver ttyLv0 at MMIO 0x1 (irq = 64) is a L4 l4ser_shm: L4 shared mem serial driver l4cdds: No name given, not starting. brd: module loaded l4bdds: No name given, not starting. Uniform Multi-Platform E-IDE driver piix 0000:00:03.0: IDE controller (0x8086:0x7111 rev 0x01) pci 0000:00:03.0: No interrupt pin configured for device 0000:00:03.0 piix 0000:00:03.0: not 100% native mode: will probe irqs later ide0: BM-DMA at 0xd000-0xd007 ide1: BM-DMA at 0xd008-0xd00f hda: VBOX HARDDISK, ATA DISK drive hda: UDMA/33 mode selected hdc: VBOX CD-ROM, ATAPI CD/DVD-ROM drive Switching to clocksource tsc hdc: UDMA/33 mode selected ide0 at 0x1f0-0x1f7,0x3f6 on irq 14 l4linux | Bind irq to icu failed with -1 l4x-irq: Did not get IRQ 15 from IO service ------------[ cut here ]------------ WARNING: at /home/rw/l4exp/l4re-snapshot-2013060718/src/l4linux/arch/l4/l4lxlib/l4env/irq_vcpu.c:106 l4lx_irq_dev_startup+0x17a/0x180() Modules linked in: Pid: 1, comm: swapper Not tainted 3.9.0-l4 #1 Call Trace: [<0041e82f>] warn_slowpath_common+0x5f/0x80 [<005636ba>] ? l4lx_irq_dev_startup+0x17a/0x180 [<005636ba>] ? l4lx_irq_dev_startup+0x17a/0x180 [<0041e86d>] warn_slowpath_null+0x1d/0x20 [<005636ba>] l4lx_irq_dev_startup+0x17a/0x180 [<005bad20>] ? ide_requeue_and_plug+0x40/0x40 [<00453d3f>] irq_startup+0x2f/0x70 [<005bad20>] ? ide_requeue_and_plug+0x40/0x40 [<00452d9c>] __setup_irq+0x38c/0x410 [<005bad20>] ? ide_requeue_and_plug+0x40/0x40 [<00452eb8>] request_threaded_irq+0x98/0x110 [<005be1d4>] ide_host_register+0x364/0x5d0 [<005c2e39>] ide_pci_init_two+0x4a9/0x800 [<004d0007>] ? proc_ns_follow_link+0x77/0x1c0 [<006b8faa>] ? klist_next+0x2a/0xc0 [<006b905a>] ? klist_put+0x1a/0x50 [<006b90a4>] ? klist_iter_exit+0x14/0x20 [<005b320b>] ? bus_find_device+0x5b/0x70 [<005b103f>] ? put_device+0xf/0x20 [<00575cbf>] ? pci_dev_put+0xf/0x20 [<00576109>] ? pci_get_dev_by_id+0x49/0x80 [<00576040>] ? pci_do_find_bus+0x40/0x40 [<005760f7>] ? pci_get_dev_by_id+0x37/0x80 [<007d4e6b>] ? generic_ide_init+0x16/0x16 [<00576233>] ? pci_get_subsys+0x33/0x40 [<007d4e6b>] ? generic_ide_init+0x16/0x16 [<005c31a2>] ide_pci_init_one+0x12/0x20 [<005c5046>] piix_init_one+0x16/0x20 [<007d4ea0>] ide_scan_pcibus+0x35/0xcb [<007d4e39>] ? piix_ide_init+0x9b/0xa1 [<007d4d95>] ? ide_init+0x6a/0x73 [<007d4e6b>] ? generic_ide_init+0x16/0x16 [<00400172>] do_one_initcall+0x122/0x170 [<0043c473>] ? __wake_up+0x43/0x50 [<007c16a2>] kernel_init_freeable+0xcf/0x16e [<007c111f>] ? do_early_param+0x7a/0x7a [<006ba38b>] kernel_init+0xb/0xc0 [<006c1ba7>] ret_from_kernel_thread+0x1b/0x28 [<006ba380>] ? rest_init+0x60/0x60 ---[ end trace bfd2d5cf2e507f77 ]--- ide1 at 0x170-0x177,0x376 on irq 15 ide_generic: please use "probe_mask=0x3f" module parameter for probing all legacy ISA IDE ports ide-gd driver 1.18 hda: max request size: 128KiB hda: 33554432 sectors (17179 MB) w/256KiB Cache, CHS=33288/16/63 hda: cache flushes supported hda: hda1 hda2 ide-cd driver 5.00 ide-atapi: cmd 0x5a timed out hdc: lost interrupt ide-atapi: cmd 0x5a timed out hdc: lost interrupt ide-cd: hdc: ATAPI 32X DVD-ROM drive, 128kB Cache cdrom: Uniform CD-ROM driver Revision: 3.20 hdc: lost interrupt ide-atapi: cmd 0x3 timed out hdc: lost interrupt