L4 Bootstrapper Build: #1 Thu Mar 22 16:55:15 CET 2012, x86-32, 4.4.5 RAM: 0000000000000000 - 000000000009f3ff: 637kB RAM: 0000000000100000 - 000000001fffcfff: 523252kB Total RAM: 511MB Moving 14 modules to 1100000 with offset fd1000 moving module 14 { 1a8c000-1d8c000 } -> { 2a5d000-2d5d000 } moving module 13 { 15ae000-1a8bcef } -> { 257f000-2a5ccef } moving module 12 { 147c000-15adebf } -> { 244d000-257eebf } moving module 11 { 1158000-147bfd0 } -> { 2129000-244cfd0 } moving module 10 { ff6000-1157404 } -> { 1fc7000-2128404 } moving module 09 { dfc000-ff57e9 } -> { 1dcd000-1fc67e9 } moving module 08 { 593000-dfb66d } -> { 1564000-1dcc66d } moving module 07 { 4a5000-592ee4 } -> { 1476000-1563ee4 } moving module 06 { 293000-2933b7 } -> { 1264000-12643b7 } moving module 05 { 28b000-28b1a0 } -> { 125c000-125c1a0 } moving module 04 { 28a000-28a652 } -> { 125b000-125b652 } moving module 03 { 2e2000-4a4aeb } -> { 12b3000-1475aeb } moving module 02 { 18f000-1cf91d } -> { 1160000-11a091d } moving module 01 { 12f000-18e200 } -> { 1100000-115f200 } Scanning fiasco -serial_esc Scanning sigma0 Scanning moe rom/x86-l4linux.cfg Bootloader MMAP: [ 0, 9f400) RAM (1) [ 9f400, a0000) reserved (2) [ f0000, 100000) reserved (2) [ 100000, 1fffd000) RAM (1) [ 1fffd000, 20000000) reserved (2) [ fffc0000, 100000000) reserved (2) Relocated mbi to [0x2dd000-0x2dd4d6] Loading fiasco Loading sigma0 Loading moe find kernel info page... found kernel info page at 0x400000 Regions of list regions [ 0, fff] { 1000} Arch BIOS [ 9f400, 9ffff] { c00} Arch BIOS [ f0000, fffff] { 10000} Arch BIOS [ 100000, 10a1b3] { a1b4} Sigma0 sigma0 [ 140000, 18b0df] { 4b0e0} Root moe [ 2d0000, 2e13e7] { 113e8} Boot bootstrap [ 2dd000, 2dd5d3] { 5d4} Root Multiboot info [ 300000, 38ffff] { 90000} Kern fiasco [ 400000, 464fff] { 65000} Kern fiasco [ 11a1000, 2d5cfff] { 1bbc000} Root Modules Memory [ 1fffd000, 1fffffff] { 3000} Arch BIOS [ fffc0000, ffffffff] { 40000} Arch BIOS API Version: (87) experimental Sigma0 config ip:001001dc sp:002dca38 Roottask config ip:001401c4 sp:00000000 Starting kernel fiasco at 003007a4 Welcome to Fiasco.OC (ia32)! L4/Fiasco.OC ia32 microkernel (C) 1998-2011 TU Dresden Rev: rUNKNOWN compiled with gcc 4.4.5 for Intel Pentium Pro [] Build: #1 Thu Mar 22 16:45:26 CET 2012 Superpages: yes Kmem:: cpu page at 1fff8000 (4096Bytes) ACPI-Init ACPI: RSDP[0xf8850] r00 OEM:BOCHS. ACPI: RSDT[0x203fde30] r01 OEM:BOCHS. OEMTID:BXPCRSDT ACPI: FACP[0x203ffe70] r01 OEM:BOCHS. OEMTID:BXPCFACP ACPI: SSDT[0x203fdf90] r01 OEM:BOCHS. OEMTID:BXPCSSDT ACPI: APIC[0x203fdeb0] r01 OEM:BOCHS. OEMTID:BXPCAPIC ACPI: HPET[0x203fde70] r01 OEM:BOCHS. OEMTID:BXPCHPET IO-APIC: MADT = 0x203fdeb0 IO-APIC[ 0]: struct: 0x203fdee4 adr=fec00000 IO-APIC[ 0]: pins 24 PIN[ 0m]: vector=20, del=0, dm=physical, dest=0 (high, edge) PIN[ 1m]: vector=21, del=0, dm=physical, dest=0 (high, edge) PIN[ 2m]: vector=22, del=0, dm=physical, dest=0 (high, edge) PIN[ 3m]: vector=23, del=0, dm=physical, dest=0 (high, edge) PIN[ 4m]: vector=24, del=0, dm=physical, dest=0 (high, edge) PIN[ 5m]: vector=25, del=0, dm=physical, dest=0 (high, edge) PIN[ 6m]: vector=26, del=0, dm=physical, dest=0 (high, edge) PIN[ 7m]: vector=27, del=0, dm=physical, dest=0 (high, edge) PIN[ 8m]: vector=28, del=0, dm=physical, dest=0 (high, edge) PIN[ 9m]: vector=29, del=0, dm=physical, dest=0 (high, edge) PIN[10m]: vector=2a, del=0, dm=physical, dest=0 (high, edge) PIN[11m]: vector=2b, del=0, dm=physical, dest=0 (high, edge) PIN[12m]: vector=2c, del=0, dm=physical, dest=0 (high, edge) PIN[13m]: vector=2d, del=0, dm=physical, dest=0 (high, edge) PIN[14m]: vector=2e, del=0, dm=physical, dest=0 (high, edge) PIN[15m]: vector=2f, del=0, dm=physical, dest=0 (high, edge) PIN[16m]: vector=30, del=0, dm=physical, dest=0 (high, edge) PIN[17m]: vector=31, del=0, dm=physical, dest=0 (high, edge) PIN[18m]: vector=32, del=0, dm=physical, dest=0 (high, edge) PIN[19m]: vector=33, del=0, dm=physical, dest=0 (high, edge) PIN[20m]: vector=34, del=0, dm=physical, dest=0 (high, edge) PIN[21m]: vector=35, del=0, dm=physical, dest=0 (high, edge) PIN[22m]: vector=36, del=0, dm=physical, dest=0 (high, edge) PIN[23m]: vector=37, del=0, dm=physical, dest=0 (high, edge) IO-APIC: dual 8259: yes IO-APIC: ovr[ 0] 00 -> 2 IO-APIC: ovr[ 1] 05 -> 5 IO-APIC: ovr[ 2] 09 -> 9 IO-APIC: ovr[ 3] 0a -> a IO-APIC: ovr[ 4] 0b -> b Allocate cpu_mem @ 0xfeffb000 Local APIC[00]: version=11 max_lvt=5 APIC ESR value before/after enabling: 00000000/00000000 Using the PIT (i8254) on IRQ 2 for scheduling SERIAL ESC: allocated IRQ 4 for serial uart SERIAL ESC: allocated IRQ 4 for serial uart Not using serial hack in slow timer handler. Absolute KIP Syscalls using: Sysenter CPU[0:0]: GenuineIntel (6:3:3:0)[00000633] Model: Pentium II (Klamath) at 2799 MHz 32 KB L1 I Cache (8-way associative, 64 bytes per line) 32 KB L1 D Cache (8-way associative, 64 bytes per line) 2048 KB L2 U Cache (8-way associative, 64 bytes per line) Freeing init code/data: 28672 bytes (7 pages) Calibrating timer loop... done. SIGMA0: Hello! KIP @ 400000 Found Fiasco: KIP syscalls: yes allocated 4KB for maintenance structures SIGMA0: Dump of all resource maps RAM:------------------------ [0:1000;9efff] [0:10b000;13ffff] [4:140000;18bfff] [0:18c000;2dcfff] [4:2dd000;2ddfff] [0:2de000;3fffff] [0:45e000;11a0fff] [4:11a1000;2d5cfff] [0:2d5d000;1d70efff] IOMEM:---------------------- [0:0;fff] [0:9f000;fffff] [0:1fffd000;febfffff] [0:fec01000;fedfffff] [0:fee01000;ffffffff] IO PORTS-------------------------- [0:0;fffffff] MOE: Hello world MOE: found 452844 KByte free memory MOE: found RAM from 1000 to 1d70f000 MOE: allocated 471 KByte for the page array @0x1000 MOE: virtual user address space [0-bfffffff] MOE: rom name space cap -> [C:501000] BOOTFS: [125b000-125b652] [C:503000] x86-l4linux.cfg BOOTFS: [125c000-125c1a0] [C:504000] x86-l4linux.io BOOTFS: [1264000-12643b7] [C:505000] x86-legacy.devs BOOTFS: [1476000-1563ee4] [C:506000] l4re BOOTFS: [1564000-1dcc66d] [C:507000] io BOOTFS: [1dcd000-1fc67e9] [C:508000] ned BOOTFS: [1fc7000-2128404] [C:509000] fb-drv BOOTFS: [2129000-244cfd0] [C:50a000] mag BOOTFS: [244d000-257eebf] [C:50b000] ex_fb_spectrum BOOTFS: [257f000-2a5ccef] [C:50c000] vmlinuz BOOTFS: [2a5d000-2d5d000] [C:50d000] ramdisk-x86.rd No fpage received MOE: cmdline: moe rom/x86-l4linux.cfg MOE: Starting: rom/ned rom/x86-l4linux.cfg MOE: loading 'rom/ned' Ned says: Hi World! Ned: loading file: 'rom/x86-l4linux.cfg' IO | Io service IO | Find root Pointer IO | Find root Pointer: f8850 IO | ACPI: RSDP 0xf8850 00014 (v00 BOCHS ) IO | ACPI: RSDT 0x1fffde30 00034 (v01 BOCHS BXPCRSDT 00000001 BXPC 00000001) IO | ACPI: FACP 0x1ffffe70 00074 (v01 BOCHS BXPCFACP 00000001 BXPC 00000001) IO | ACPI: DSDT 0x1fffdfd0 01E22 (v01 BXPC BXDSDT 00000001 INTL 20090521) IO | ACPI: FACS 0x1ffffe00 00040 IO | ACPI: SSDT 0x1fffdf90 00037 (v01 BOCHS BXPCSSDT 00000001 BXPC 00000001) IO | ACPI: APIC 0x1fffdeb0 00072 (v01 BOCHS BXPCAPIC 00000001 BXPC 00000001) IO | ACPI: HPET 0x1fffde70 00038 (v01 BOCHS BXPCHPET 00000001 BXPC 00000001) IO | Parsing all Control Methods: IO | Table [DSDT](id 0001) - 247 Objects with 47 Devices 79 Methods 5 Regions IO | Parsing all Control Methods: IO | Table [SSDT](id 0002) - 1 Objects with 0 Devices 0 Methods 0 Regions IO | tbxface-0601 [02] TbLoadNamespace : ACPI Tables successfully acquired IO | evxfevnt-0184 [02] Enable : Transition to ACPI mode successful IO | evgpeblk-1129 [04] EvCreateGpeBlock : GPE 00 to 0F [_GPE] 2 regs on int 0x9 IO | /home/horst/workspace/chess.clean/tudos/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:57:AcpiOsInstallInterruptHandler: UNINPLEMENTED IO | Completing Region/Field/Buffer/Package initialization:................ IO | Initialized 5/5 Regions 0/0 Fields 7/7 Buffers 4/4 Packages (257 nodes) IO | Initializing Device/Processor/Thermal objects by executing _INI methods: IO | Executed 0 _INI methods requiring 0 _STA executions (examined 50 objects) IO | evgpeblk-1234 [03] EvInitializeGpeBlock : Found 0 Wake, Enabled 16 Runtime GPEs in this block IO | ACPICA-Version:20091214, System in ACPI MODE, 32bit timer IO | WARNING: device 'S2__' already assigned to an other virtual bus. IO | Ready. Waiting for request. fbdrv | libio: Warning: Finding 'icu' in system bus failed with 'No such object found' mag | Hello from MAG fbdrv | Trying execution of ``set VBE mode'' using x86emu fbdrv | Found VESA BIOS version 2.0 fbdrv | OEM VGABIOS Cirrus extension fbdrv | Scanning for 'best' possible mode: fbdrv | Mode: 0x101 640x480@8, RGB: 0(0):0(0):0(0) mode: bb fbdrv | Mode: 0x110 640x480@15, RGB: 10(5):5(5):0(5) mode: bb fbdrv | Mode: 0x111 640x480@16, RGB: 11(5):5(6):0(5) mode: bb fbdrv | Mode: 0x112 640x480@24, RGB: 16(8):8(8):0(8) mode: bb fbdrv | Mode: 0x103 800x600@8, RGB: 0(0):0(0):0(0) mode: bb fbdrv | Mode: 0x113 800x600@15, RGB: 10(5):5(5):0(5) mode: bb fbdrv | Mode: 0x114 800x600@16, RGB: 11(5):5(6):0(5) mode: bb fbdrv | Mode: 0x115 800x600@24, RGB: 16(8):8(8):0(8) mode: bb fbdrv | Mode: 0x105 1024x768@8, RGB: 0(0):0(0):0(0) mode: bb fbdrv | Mode: 0x116 1024x768@15, RGB: 10(5):5(5):0(5) mode: bb fbdrv | Mode: 0x117 1024x768@16, RGB: 11(5):5(6):0(5) mode: bb fbdrv | Mode: 0x118 1024x768@24, RGB: 16(8):8(8):0(8) mode: bb fbdrv | Mode: 0x107 1280x1024@8, RGB: 0(0):0(0):0(0) mode: bb fbdrv | Mode: 0x119 1280x1024@15, RGB: 10(5):5(5):0(5) mode: bb fbdrv | Mode: 0x11a 1280x1024@16, RGB: 11(5):5(6):0(5) mode: bb fbdrv | Choosen mode: fbdrv | Mode: 0x11a 1280x1024@16, RGB: 11(5):5(6):0(5) mode: bb fbdrv | To force a specific setting use a '-m ' option. fbdrv | VBE mode 0x11a successfully set. fbdrv | Framebuffer memory: phys: e0000000 - e0400000 fbdrv | virt: 400000 - 800000 fbdrv | Starting server loop mag | mapped frame buffer at 0x400000 mag | View::Info: mag | flags: 0 mag | size: 1280x1024 pos: 0, 0 mag | bytes_per_line: 2560 mag | buffer_offset: 0 mag | RGBA(2): 5(11):6(5):5(0):0(0) mag | memory 400000-800000 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 mag | Plugin: Frame-buffer service started mag | Plugin: Mag_client service started vmlinuz | libio: Warning: Query of 'vbus' failed! vmlinuz | PH 0 (t: 1) offs=00001000 vaddr=00400000 vend=007b3000 vmlinuz | phys=00400000 ephys=007b3000 vmlinuz | f_sz=003b3000 memsz=003b3000 flgs=r-x vmlinuz | PH 1 (t: 1) offs=003b4000 vaddr=007b3000 vend=008cc000 vmlinuz | phys=007b3000 ephys=008cc000 vmlinuz | f_sz=0006e000 memsz=00119000 flgs=rw- vmlinuz | PH 2 (t: 4) offs=002e584c vaddr=006e484c vend=006e4870 vmlinuz | phys=006e484c ephys=006e4870 vmlinuz | f_sz=00000024 memsz=00000024 flgs=--- vmlinuz | Starting binary at 0x400000, argc=1 argv=0x80007fa4 *argv=0xb1007ff4 argv0=rom/vmlinuz vmlinuz | External resolver is at 0xa80006e0 vmlinuz | ======> L4Linux 2.6 starting... <======== vmlinuz | Linux version 3.0.0-l4-svn23 (horst@kotao) (gcc version 4.4.5 (Debian 4.4.5-8) ) #1 SMP Thu Mar 22 17:15:57 CET 2012 vmlinuz | Binary name: rom/vmlinuz vmlinuz | Linux kernel command line (0 args): vmlinuz | CPU mapping (l:p)[1]: 0:0 vmlinuz | Image: 00400000 - 008cc000 [4912 KiB]. vmlinuz | Areas: Text: 00400000 - 007b3000 [3788kB] (a bit longer) vmlinuz | Data: 007b3000 - 007e44c0 [197kB] vmlinuz | Initdata: 007e5000 - 0081b000 [216kB] vmlinuz | BSS: 00822000 - 008bc000 [616kB] vmlinuz | gs=43 fs=43 vmlinuz | Device scan: vmlinuz | l4x_fiasco_gdt_entry_offset = 9 vmlinuz | rtc not found vmlinuz | WARNING: RTC server does not seem there! vmlinuz | l4lx_thread_create: Created thread 414 (cpu0) (u:b3000400, v:b3000600, sp:007b5ff4) vmlinuz | main thread will be 414 vmlinuz | l4x_register_pointer_section: addr = 007b3000 size = 1150976 vmlinuz | section-with-init: virt: 0x7b3000 to 0x8cbfff [1124 KiB] vmlinuz | section-with-init: Phys: 0x009ed000 to 0x00b06000, Size: 1150976 vmlinuz | l4x_linux_startup: thread 414. vmlinuz | Main thread running, waiting... vmlinuz | main thread: received startup message. vmlinuz | l4x_setup_memory: Forcing superpages for main memory vmlinuz | l4re_global_env: 0xb1007f6c vmlinuz | Main memory size: 32MB vmlinuz | Main memory: virt: 0xc00000 to 0x2bfffff [32768 KiB] vmlinuz | Main memory: Phys: 0x03000000 to 0x05000000, Size: 33554432 vmlinuz | Filling lower ptabs... vmlinuz | Done (1611 entries). vmlinuz | l4x_register_pointer_section: addr = 007b3000 size = 1150976 vmlinuz | end: virt: 0x7b3000 to 0x8cbfff [1124 KiB] vmlinuz | end: Phys: 0x009ed000 to 0x00b06000, Size: 1150976 vmlinuz | rtc not found vmlinuz | l4lx_thread_create: Created thread 41b (timer.i0) (u:b3000800, v:00000000, sp:00851ff8) vmlinuz | timer_irq_thread: Starting timer IRQ thread. vmlinuz | WARNING: Unknown rdmsr: 00000186 at 0x7ec47e vmlinuz | WARNING: Unknown rdmsr: 00000187 at 0x7ec47e vmlinuz | WARNING: Unknown wrmsr: 000000c1 at 0x7ec50d vmlinuz | WARNING: Unknown rdmsr: 000000c1 at 0x7ec521 vmlinuz | Invalid IO-Port access at pc = 005b9cec port=0x1f7 vmlinuz | Page fault (non-resolved): pfa=1a8 pc=4947ad Die message: Trap: 14 vmlinuz | panic: going to sleep forever, bye