L4 Bootstrapper Build: #2 Thu Mar 15 01:07:31 MSK 2012, x86-32, 4.6.3 RAM: 0000000000000000 - 000000000009f3ff: 637kB RAM: 0000000000100000 - 000000002d7fdfff: 744440kB Total RAM: 727MB Moving 16 modules to 1100000 with offset e1d000 moving module 16 { 2669000-3669000 } -> { 3486000-4486000 } moving module 15 { 2369000-2669000 } -> { 3186000-3486000 } moving module 14 { 1ffe000-236844d } -> { 2e1b000-318544d } moving module 13 { 1ffd000-1ffd21f } -> { 2e1a000-2e1a21f } moving module 12 { 1ffc000-1ffc3b7 } -> { 2e19000-2e193b7 } moving module 11 { 1c4d000-1ffb09a } -> { 2a6a000-2e1809a } moving module 10 { 1ad7000-1c4c13c } -> { 28f4000-2a6913c } moving module 09 { 1ad6000-1ad608b } -> { 28f3000-28f308b } moving module 08 { 1327000-1ad5109 } -> { 2144000-28f2109 } moving module 07 { 922000-132628e } -> { 173f000-214328e } moving module 06 { 921000-921835 } -> { 173e000-173e835 } moving module 05 { 6ea000-920f0a } -> { 1507000-173df0a } moving module 04 { 5c2000-6e92b8 } -> { 13df000-15062b8 } moving module 03 { 39f000-5c107c } -> { 11bc000-13de07c } moving module 02 { 34a000-39e01d } -> { 1167000-11bb01d } moving module 01 { 2e3000-349460 } -> { 1100000-1166460 } Scanning /home/timmy/Documents/6sem/UIR/snap/l4re-snapshot-2011081207/obj/fiasco/ia32/fiasco Scanning /home/timmy/Documents/6sem/UIR/snap/l4re-snapshot-2011081207/obj/l4/x86/bin/x86_586/l4f/sigma0 Scanning /home/timmy/Documents/6sem/UIR/snap/l4re-snapshot-2011081207/obj/l4/x86/bin/x86_586/l4f/moe rom/l4lx-gfx.cfg Bootloader MMAP: [ 0, 9f400) RAM (1) [ 9f400, a0000) reserved (2) [ f0000, 100000) reserved (2) [ 100000, 2d7fe000) RAM (1) [ 2d7fe000, 2d800000) reserved (2) Relocated mbi to [0x2dd000-0x2dd6dc] Loading UIR/snap/l4re-snapshot-2011081207/obj/fiasco/ia32/fiasco Loading re-snapshot-2011081207/obj/l4/x86/bin/x86_586/l4f/sigma0 Loading /l4re-snapshot-2011081207/obj/l4/x86/bin/x86_586/l4f/moe find kernel info page... found kernel info page at 0x400000 Regions of list regions [ 0, fff] { 1000} Arch BIOS [ 9f400, 9ffff] { c00} Arch BIOS [ f0000, fffff] { 10000} Arch BIOS [ 100000, 10b197] { b198} Sigma0 re-snapshot-2011081207/obj/l4/x86/bin/x86_586/l4f/sigma0 [ 140000, 18d23f] { 4d240} Root /l4re-snapshot-2011081207/obj/l4/x86/bin/x86_586/l4f/moe [ 2d0000, 2e13e7] { 113e8} Boot bootstrap [ 2dd000, 2dd7d9] { 7da} Root Multiboot info [ 300000, 38ffff] { 90000} Kern UIR/snap/l4re-snapshot-2011081207/obj/fiasco/ia32/fiasco [ 400000, 46bfff] { 6c000} Kern UIR/snap/l4re-snapshot-2011081207/obj/fiasco/ia32/fiasco [ 13df000, 4485fff] { 30a7000} Root Modules Memory [ 2d7fe000, 2d7fffff] { 2000} Arch BIOS API Version: (87) experimental Sigma0 config ip:001001dc sp:002dca50 Roottask config ip:001401c4 sp:00000000 Starting kernel UIR/snap/l4re-snapshot-2011081207/obj/fiasco/ia32/fiasco at 00300824 Welcome to Fiasco.OC (ia32)! L4/Fiasco.OC ia32 microkernel (C) 1998-2011 TU Dresden Rev: rUNKNOWN compiled with gcc 4.6.3 for Intel Pentium [] Build: #2 Thu Mar 15 00:58:46 MSK 2012 Performance-critical config option(s) detected: CONFIG_NDEBUG is off CONFIG_NO_FRAME_PTR is off Superpages: yes Kmem:: cpu page at 2d7f8000 (4096Bytes) ACPI-Init ACPI: RSDP[0xfd9a0] r00 OEM:BOCHS. ACPI: RSDT[0x203fe600] r01 OEM:BOCHS. OEMTID:BXPCRSDT ACPI: FACP[0x203fff80] r01 OEM:BOCHS. OEMTID:BXPCFACP ACPI: SSDT[0x203ffea0] r01 OEM:BOCHS. OEMTID:BXPCSSDT ACPI: APIC[0x203ffdb0] r01 OEM:BOCHS. OEMTID:BXPCAPIC ACPI: HPET[0x203ffd70] r01 OEM:BOCHS. OEMTID:BXPCHPET ACPI: SSDT[0x203ff720] r01 OEM:BXPC.. OEMTID:BXSSDTPC IO-APIC: MADT = 0x203ffdb0 IO-APIC[ 0]: struct: 0x203ffde4 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 @ 0xffffb000 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 Absolute KIP Syscalls using: Sysenter CPU[0:0]: GenuineIntel (6:3:3:0)[00000633] Model: QEMU Virtual CPU version 1.0,1 at 2394 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:10c000;13ffff] [4:140000;18dfff] [0:18e000;2dcfff] [4:2dd000;2ddfff] [0:2de000;3fffff] [0:465000;13defff] [4:13df000;4485fff] [0:4486000;29dc7fff] IOMEM:---------------------- [0:0;fff] [0:9f000;fffff] [0:2d7fe000;febfffff] [0:fec01000;fedfffff] [0:fee01000;ffffffff] IO PORTS-------------------------- [0:0;fffffff] MOE: Hello world MOE: found 634876 KByte free memory MOE: found RAM from 1000 to 29dc8000 MOE: allocated 669 KByte for the page array @0x18e000 MOE: virtual user address space [0-bfffffff] MOE: rom name space cap -> [C:501000] BOOTFS: [13df000-15062b8] [C:503000] l4re BOOTFS: [1507000-173df0a] [C:504000] ned BOOTFS: [173e000-173e835] [C:505000] l4lx-gfx.cfg BOOTFS: [173f000-214328e] [C:506000] io BOOTFS: [2144000-28f2109] [C:507000] ankh BOOTFS: [28f3000-28f308b] [C:508000] ankh.vbus BOOTFS: [28f4000-2a6913c] [C:509000] fb-drv BOOTFS: [2a6a000-2e1809a] [C:50a000] mag BOOTFS: [2e19000-2e193b7] [C:50b000] x86-legacy.devs BOOTFS: [2e1a000-2e1a21f] [C:50c000] l4lx-x86.io BOOTFS: [2e1b000-318544d] [C:50d000] vmlinuz BOOTFS: [3186000-3486000] [C:50e000] ramdisk-x86.rd BOOTFS: [3486000-4486000] [C:50f000] drops-rd.rd MOE: cmdline: /home/timmy/Documents/6sem/UIR/snap/l4re-snapshot-2011081207/obj/l4/x86/bin/x86_586/l4f/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 | Io service io | Find root Pointer io | Find root Pointer: fd9a0 io | ACPI: RSDP 0xfd9a0 00014 (v00 BOCHS ) io | ACPI: RSDT 0x2d7fe600 00038 (v01 BOCHS BXPCRSDT 00000001 BXPC 00000001) io | ACPI: FACP 0x2d7fff80 00074 (v01 BOCHS BXPCFACP 00000001 BXPC 00000001) io | ACPI: DSDT 0x2d7fe640 010D3 (v01 BXPC BXDSDT 00000001 INTL 20100528) io | ACPI: FACS 0x2d7fff40 00040 io | ACPI: SSDT 0x2d7ffea0 0009E (v01 BOCHS BXPCSSDT 00000001 BXPC 00000001) io | ACPI: APIC 0x2d7ffdb0 00078 (v01 BOCHS BXPCAPIC 00000001 BXPC 00000001) io | ACPI: HPET 0x2d7ffd70 00038 (v01 BOCHS BXPCHPET 00000001 BXPC 00000001) io | ACPI: SSDT 0x2d7ff720 00644 (v01 BXPC BXSSDTPC 00000001 INTL 20100528) io | Parsing all Control Methods: io | Table [DSDT](id 0001) - 143 Objects with 17 Devices 60 Methods 7 Regions io | Parsing all Control Methods: io | Table [SSDT](id 0002) - 8 Objects with 0 Devices 4 Methods 0 Regions io | Parsing all Control Methods: io | Table [SSDT](id 0003) - 125 Objects with 31 Devices 32 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/timmy/Documents/6sem/UIR/snap/l4re-snapshot-2011081207/src/l4/pkg/acpica/lib-acpi/src/osl-basic.cc:57:AcpiOsInstallInterruptHandler: UNINPLEMENTED io | Completing Region/Field/Buffer/Package initialization:.................... io | Initialized 7/7 Regions 0/0 Fields 8/8 Buffers 5/5 Packages (285 nodes) io | Initializing Device/Processor/Thermal objects by executing _INI methods: io | Executed 0 _INI methods requiring 0 _STA executions (examined 51 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 'KBD_' already assigned to an other virtual bus. io | WARNING: device 'PS2' already assigned to an other virtual bus. io | WARNING: device 'VGA_' already assigned to an other virtual bus. io | WARNING: device '' already assigned to an other virtual bus. io | WARNING: device 'S03_' already assigned to an other virtual bus. io | Ready. Waiting for request. fb-drv | libio: Warning: Finding 'icu' in system bus failed with 'No such object found' mag | Hello from MAG ankh | Initialized DDELinux 2.6 fb-drv | Trying execution of ``set VBE mode'' using x86emu fb-drv | Found VESA BIOS version 2.0 fb-drv | OEM VGABIOS Cirrus extension ankh | Initializing DDE page cache ankh | ddekit_pci_init ankh | pci bus constructor ankh | PCI: L4 root bridge is device 19b40 ankh | init_wq_head ankh | l4dde26_register_rx_callback: New rx callback @ 0x10001f0. ankh | Softirq daemon starting ankh | <6>8139cp: 10/100 PCI Ethernet driver v1.3 (Mar 22, 2004) ankh | pci_irq_enable: dev 0x118004 ankh | pci_irq_enable: irq 11, pin 1, devfn 0 ankh | ddekit_pci_irq_enable: devfn 0, pin 0 ankh | ddekit_pci_irq_enable: l4vbus_pci_irq_enable() = 11 ankh | IRQ: set irq type of 11 to 4 ankh | enable_dev: 0 ankh | <6>eth0: RTL-8139C+ at 0x109000, 0x11615cM, IRQ 11 ankh | unimplemented: pci_set_master ankh | <6>net_namespace: 636 bytes ankh | open_network_devices() ankh | opening lo ankh | <6>device lo entered promiscuous mode ankh | set interface to promiscuous mode. ankh | opening eth0 ankh | <6>device eth0 entered promiscuous mode ankh | set interface to promiscuous mode. ankh | Thread 0xa8 for IRQ 11 ankh | <6>eth0: link up, 100Mbps, full-duplex, lpa 0x05E1 ankh | Opened 2 network devices. ankh | lo IRQ: 0x00 MAC: 00:00:00:00:00:00 MTU: 16436 ankh | eth0 IRQ: 0x0B MAC: 52:54:00:12:34:56 MTU: 1500 ankh | Registered @ registry. ankh | Gooood Morning Ankh-Morpoooooork! TID = 0x71 fb-drv | VBE mode 0x117 successfully set. fb-drv | Framebuffer memory: phys: fc000000 - fc400000 fb-drv | virt: 400000 - 800000 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-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 ankh | Creating session factory. ankh | Configuration: debug,phys_mac,shm=shm,device=eth0,bufsize=16384,create ankh | Debug mode ON. ankh | Physical MAC requested. ankh | SHM area 'shm' requested. ankh | Device 'eth0' requested. ankh | Buffer size: 16384 ankh | shmc_create: 0 ankh | Created shmc area 'shm' ankh | <6>device eth0 left promiscuous mode ankh | Assigning MAC address: 52:54:00:12:34:56 l4linux | PH 0 (t: 1) offs=00001000 vaddr=00400000 vend=00642000 l4linux | phys=00400000 ephys=00642000 l4linux | f_sz=00242000 memsz=00242000 flgs=r-x l4linux | PH 1 (t: 1) offs=00243000 vaddr=00642000 vend=00730000 l4linux | phys=00642000 ephys=00730000 l4linux | f_sz=00046fe1 memsz=000ee000 flgs=rw- l4linux | PH 2 (t: 4) offs=001c44e8 vaddr=005c34e8 vend=005c350c l4linux | phys=005c34e8 ephys=005c350c l4linux | f_sz=00000024 memsz=00000024 flgs=--- l4linux | Starting binary at 0x400000, argc=8 argv=0x80007f88 *argv=0xb1007ff4 argv0=rom/vmlinuz l4linux | External resolver is at 0xa80006d0 l4linux | ======> L4Linux 2.6 starting... <======== l4linux | Linux version 3.0.0-l4 (timmy@timmy-laptop) (gcc version 4.6.3 (GCC) ) #1 Sun Mar 25 22:33:21 MSK 2012 l4linux | Binary name: rom/vmlinuz l4linux | Linux kernel command line (7 args): mem=512M l4ankh.ankh_shm=shm console=tty0 l4x_rd=rom/ramdisk-x86.rd root=1:0 ramdisk_size=80000 init=/bin/sh l4linux | CPU mapping (l:p)[1]: 0:0 l4linux | Image: 00400000 - 00730000 [3264 KiB]. l4linux | Areas: Text: 00400000 - 00642000 [2312kB] (a bit longer) l4linux | Data: 00642000 - 00660880 [122kB] l4linux | Initdata: 00662000 - 00689000 [156kB] l4linux | BSS: 0068a000 - 00720000 [600kB] l4linux | gs=43 fs=43 l4linux | l4lx_thread_create: Created thread 418 (tamer0) (u:b3000400, sp:006a2694) l4linux | Tamer0 is 418 l4linux | Using tamed mode. l4linux | Device scan: l4linux | Device: 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: 0000c100 - 0000c10f l4linux | Device: l4linux | IRQ: 0000000b - 0000000b l4linux | PORT: 0000c000 - 0000c0ff l4linux | MEM: febf1000 - febf10ff 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 41a (cpu0) (u:b3000600, sp:00643ff4) l4linux | main thread will be 41a l4linux | l4x_register_pointer_section: addr = 00642000 size = 974848 l4linux | section-with-init: virt: 0x642000 to 0x72ffff [952 KiB] l4linux | section-with-init: Phys: 0x00aea000 to 0x00bd8000, Size: 974848 l4linux | l4x_linux_startup: thread 41a. l4linux | Main thread running, waiting... l4linux | main thread: received startup message. l4linux | l4x_setup_memory: Forcing superpages for main memory l4linux | l4re_global_env: 0xb1007e9c l4linux | Main memory size: 512MB l4linux | Main memory: virt: 0x800000 to 0x207fffff [524288 KiB] l4linux | Main memory: Phys: 0x04800000 to 0x24800000, Size: 536870912 l4linux | Filling lower ptabs... l4linux | Done (1204 entries). l4linux | l4x_register_pointer_section: addr = 00642000 size = 974848 l4linux | end: virt: 0x642000 to 0x72ffff [952 KiB] l4linux | end: Phys: 0x00aea000 to 0x00bd8000, Size: 974848 l4linux | l4x_rd_path: rom/ramdisk-x86.rd l4linux | Loading: rom/ramdisk-x86.rd l4linux | INITRD: Size of RAMdisk is 3072KiB l4linux | RAMdisk from 28800000 to 28b00000 [3072KiB] l4linux | rtc not found l4linux | l4lx_thread_create: Created thread 421 (timer.i0) (u:b3000800, sp:006bbff4) l4linux | WARNING: Unknown rdmsr: 00000186 at 0x6691ca l4linux | WARNING: Unknown rdmsr: 00000187 at 0x6691ca l4linux | WARNING: Unknown wrmsr: 000000c1 at 0x669248 l4linux | WARNING: Unknown rdmsr: 000000c1 at 0x66925a l4linux | l4lx_thread_create: Created thread 425 (IRQ65) (u:b3000a00, sp:006bdff4) l4linux | irq_thread: Started IRQ thread for IRQ 65 l4linux | mmap called, should only happen for exceptions l4linux | mmap called, should only happen for exceptions l4linux | add_chunk: area 0xa82a240c, name '(null)', size 16420 l4linux | Page fault (non-resolved): pfa=0 pc=a800ea25 Die message: Trap: 14 l4linux | panic: going to sleep forever, bye