Welcome to Fiasco(ia32)! DD-L4(v2)/x86 microkernel (C) 1998-2007 TU Dresden Rev: r78 compiled with gcc 3.3.6 for Intel Pentium Pro Performance-critical config option(s) detected: CONFIG_LIST_ALLOC_SANITY is on CONFIG_BEFORE_IRET_SANITY is on CONFIG_JDB_ACCOUNTING is on Enabling special fully nested mode for PIC Using the PIT (i8254) on IRQ 0 for scheduling SERIAL ESC: allocated IRQ 4 for serial uart Absolute KIP Syscalls using: Sysenter CPU: CentaurHauls (6:9:8:0) Model: Via C5P (Nehemiah) at 1002 MHz 128 Entry I TLB (4K pages) 128 Entry D TLB (4K pages) 64 KB L1 I Cache (4-way associative, 32 bytes per line) 64 KB L1 D Cache (4-way associative, 32 bytes per line) 0 KB L2 U Cache (64-way associative, 32 bytes per line) Freeing init code/data: 20480 bytes (5 pages) Calibrating timer loop... done. SIGMA0: Hello! KIP @ 1000 Found Fiasco: KIP syscalls: yes allocated 4KB for maintenance structures Roottask. Command line found: "/boot/L4Linux/roottask task modname "bmodfs" attached 4 modules" 228928kB ( 223MB) total RAM (reported by bootloader) 204056kB ( 200MB) received RAM from Sigma0 26572kB ( 26MB) reserved RAM for RMGR Received I/O ports 0000-ffff Attached irqs = [ 1 3 5 6 7 8 9 A B C D E F ] Roottask: Parsing command line config. configured task 0x00 (bmodfs): vm_offs:0 irq:ffff lmcp:ffff allow_cli:0 mcp:ff prio:10 small:ff mods:4 Roottask: Loading 13 modules. #05: loading "/boot/L4Linux/events" from [0613b000-061828a3] to [01540000-0154931d][0154a000-0155f5d8] entry at 00061070 via trampoline page code symbols at [0ce03000-0ce05000] (8kB), lines at [0cdfc000-0ce03000] (28kB) #06: loading "/boot/L4Linux/names --events" from [06183000-061c8000] to [002d0000-002d61ea][002d7000-002e3000] entry at 00062078 via trampoline page code symbols at [0cdfa000-0cdfc000] (8kB), lines at [0cdf4000-0cdfa000] (24kB) #07: loading "/boot/L4Linux/log" from [061c8000-06209c45] to [00400000-00406d8a][00407000-004398b0] entry at 0006306c via trampoline page code symbols at [0cdf2000-0cdf4000] (8kB), lines at [0cdec000-0cdf2000] (24kB) #08: loading "/boot/L4Linux/dm_phys --isa=0x00800000 -v --events" from [0620a000-0629cc49] to [01500000-01512c2a][01513000-0151d000] entry at 0006408c via trampoline page code symbols at [0cde8000-0cdec000] (16kB), lines at [0cddb000-0cde8000] (52kB) #09: loading "/boot/L4Linux/simple_ts -t 300 --events" from [0629d000-062ecfce] to [01400000-0140888a][01409000-0141b090] entry at 00065080 via trampoline page code symbols at [0cdd9000-0cddb000] (8kB), lines at [0cdd2000-0cdd9000] (28kB) #0a: loading "/boot/L4Linux/rtc --events" from [062ed000-06321858] to [01080000-01084360][01085000-0108a000] entry at 00066074 via trampoline page code symbols at [0cdd0000-0cdd2000] (8kB), lines at [0cdcb000-0cdd0000] (20kB) #0b: loading "/boot/L4Linux/l4io --noirq --events" from [06322000-0658f780] to [00b80000-00ba392a][00ba4000-00c14000] entry at 0006707c via trampoline page code symbols at [0cd79000-0cdcb000] (328kB), lines at [0cd60000-0cd79000] (100kB) #0c: loading "/boot/L4Linux/loader --fprov=BMODFS linux26.cfg" from [06590000-066710e1] to [01300000-01324eaa][01325000-01350000] entry at 00068088 via trampoline page code symbols at [0cd5a000-0cd60000] (24kB), lines at [0cd42000-0cd5a000] (96kB) #0d: loading "/boot/L4Linux/bmodfs" from [06672000-0671f6d9] to [01220000-0123612a][01237000-01257000] passing module /boot/L4Linux/vmlinuz26 [ 06720000-07864d63 ] passing module /boot/L4Linux/linux26.cfg [ 07865000-07865089 ] passing module /boot/L4Linux/libloader.s.so [ 07866000-0790d73e ] passing module /boot/L4Linux/libld-l4.s.so [ 0790e000-0798c23b ] entry at 00069120 via trampoline page code symbols at [0cd3d000-0cd42000] (20kB), lines at [0cd2c000-0cd3d000] (68kB) names | Starting thread listening for `exit' events simplets| Configured for 300 tasks. rtc | Date:22.05.2007 Time:10:42:35 DMphys | DMphys memory map: DMphys | phys. memory 0x00000000-0x0dff0000 (from L4 kernel info page) DMphys | using 0x00100000-0x0dff0000 DMphys | Memory area Pool PS Flags DMphys | 0x00000000-0x00100000 -- -- RESERVED DMphys | 0x00100000-0x00106000 7 12 MAPPED DMphys | 0x00106000-0x00107000 -- -- DENIED DMphys | 0x00107000-0x00136000 7 12 MAPPED DMphys | 0x00136000-0x001be000 -- -- DENIED DMphys | 0x001be000-0x002d0000 7 12 MAPPED DMphys | 0x002d0000-0x002e3000 -- -- DENIED DMphys | 0x002e3000-0x00400000 7 12 MAPPED DMphys | 0x00400000-0x0043a000 -- -- DENIED DMphys | 0x0043a000-0x009d6000 7 12 MAPPED DMphys | 0x009d6000-0x00b80000 0 12 MAPPED DMphys | 0x00b80000-0x00c14000 -- -- DENIED DMphys | 0x00c14000-0x01080000 0 12 MAPPED DMphys | 0x01080000-0x0108a000 -- -- DENIED DMphys | 0x0108a000-0x01220000 0 12 MAPPED DMphys | 0x01220000-0x01257000 -- -- DENIED DMphys | 0x01257000-0x01300000 0 12 MAPPED DMphys | 0x01300000-0x01350000 -- -- DENIED DMphys | 0x01350000-0x01400000 0 12 MAPPED DMphys | 0x01400000-0x0141c000 -- -- DENIED DMphys | 0x0141c000-0x01500000 0 12 MAPPED DMphys | 0x01500000-0x0151c000 -- -- RESERVED DMphys | 0x0151c000-0x01540000 0 12 MAPPED DMphys | 0x01540000-0x01560000 -- -- DENIED DMphys | 0x01560000-0x01800000 0 12 MAPPED DMphys | 0x01800000-0x06400000 0 22 MAPPED DMphys | 0x06400000-0x06720000 0 12 MAPPED DMphys | 0x06720000-0x0798d000 -- -- DENIED DMphys | 0x0798d000-0x07c00000 0 12 MAPPED DMphys | 0x07c00000-0x0cc00000 0 22 MAPPED DMphys | 0x0cc00000-0x0cd2c000 0 12 MAPPED DMphys | 0x0cd2c000-0x0dff0000 -- -- DENIED DMphys | DMphys | DMphys memory pools: DMphys | pool 0 (Default memory pool): DMphys | size: 179632KB total, 179632KB free, 32KB reserved DMphys | 0x009d6000-0x00b80000 ( 1704KB, 2MB) free DS: DMphys | 0x00c14000-0x01080000 ( 4528KB, 4MB) free DS: DMphys | 0x0108a000-0x01220000 ( 1624KB, 2MB) free DS: DMphys | 0x01257000-0x01300000 ( 676KB, 1MB) free DS: DMphys | 0x01350000-0x01400000 ( 704KB, 1MB) free DS: DMphys | 0x0141c000-0x01500000 ( 912KB, 1MB) free DS: DMphys | 0x0151c000-0x01540000 ( 144KB, ee DS: DMphys | 0x0798d000-0x0cd2c000 ( 85628KB, 84MB) free DS: DMphys | pool 7 (ISA DMA memory pool): DMphys | size: 8192KB total, 8192KB free, 0KB reserved DMphys | 0x00100000-0x00106000 ( 24KB, 0MB) free DS: DMphys | 0x00107000-0x00136000 ( 188KB, 0MB) free DS: DMphys | 0x001be000-0x002d0000 ( 1096KB, 1MB) free DS: DMphys | 0x002e3000-0x00400000 ( 1140KB, 1MB) free DS: DMphys | 0x0043a000-0x009d6000 ( 5744KB, 6MB) free DS: bmodfs | Passed the following modules: bmodfs | module "/boot/L4Linux/vmlinuz26" (17684kB) bmodfs | module "/boot/L4Linux/linux26.cfg" (1kB) bmodfs | module "/boot/L4Linux/libloader.s.so" (670kB) bmodfs | module "/boot/L4Linux/libld-l4.s.so" (505kB) io | do_args(): Disabling internal IRQ handling. io | do_args(): Enabling events support. io | CPU supports 8 MTRRs. Allocated: io | 0: 00000000-08000000 ( 128MB) type WB io | 1: 08000000-0c000000 ( 64MB) type WB io | 2: 0c000000-0e000000 ( 32MB) type WB io | 3: d0000000-d8000000 ( 128MB) type WC io | 4: d8000000-d8800000 ( 8MB) type WC io | PCI: Using configuration type 1 io | PCI: Probing PCI hardware io | PCI: Probing PCI hardware (bus 00) io | PCI: Via IRQ fixup io | PCI: Via IRQ fixup io | 00000000-ffffffff : PCI mem io | d0000000-d7ffffff : VIA Technologies, Inc. VT8623 [Apollo CLE266] io | d8000000-dbffffff : PCI Bus #01 io | d8000000-dbffffff : VIA Technologies, Inc. VT8623 [Apollo CLE266] io : integrated CastleRock graphics io | dc000000-ddffffff : PCI Bus #01 io | dc000000-dcffffff : VIA Technologies, Inc. VT8623 [Apollo CLE266] io : integrated CastleRock graphics io | de000000-de0000ff : VIA Technologies, Inc. VT6105 [Rhine-III] io | de001000-de0010ff : VIA Technologies, Inc. USB 2.0 io | de002000-de0020ff : VIA Technologies, Inc. VT6102 [Rhine-II] io | 0000-ffff : PCI IO io | 0cf8-0cff : PCI conf1 io | d000-d0ff : VIA Technologies, Inc. VT6105 [Rhine-III] io | d400-d41f : VIA Technologies, Inc. VT82xxxxx UHCI USB 1.1 Controlle io : r io | d800-d81f : VIA Technologies, Inc. VT82xxxxx UHCI USB 1.1 Controlle io : r (#2) io | dc00-dc1f : VIA Technologies, Inc. VT82xxxxx UHCI USB 1.1 Controlle io : r (#3) io | e000-e00f : VIA Technologies, Inc. VT82C586A/B/VT82C686/A/B/VT823x/ io : A/C PIPC Bus Master IDE io | e400-e4ff : VIA Technologies, Inc. VT8233/A/8235/8237 AC97 Audio Co io : ntroller io | e800-e8ff : VIA Technologies, Inc. VT6102 [Rhine-II] loader | vmlinuz26: Starting application using libld-l4.s.so loader | vmlinuz26,#e: Loading binary loader | vmlinuz26,#e: Loading ldso loader | Capability support not enabled. loader | vmlinuz26,#e: Starting libld-l4.s.so at 00013ea0 via 0000cf44 l4lx | ======> L4Linux 2.6 starting... <======== l4lx | Linux version 2.6.21-l4 (root@darkstar) (gcc version 3.3.6) #1 Mon Ma l4lx : y 21 13:54:26 CST 2007 l4lx | Binary name: vmlinuz26 l4lx | Kernel command line (5 args): earlyprintk=yes console=ttyS1,115200 in l4lx : it=3 mem=128M root=/dev/hda2 l4lx | Image: 00400000 - 007ba000 [3816 KiB]. l4lx | Areas: Text: 00400000 - 006e9000 [2980kB] (a bit longer) l4lx | Data: 006e9000 - 007092cc [128kB] l4lx | Initdata: 0070c000 - 007490a0 [244kB] l4lx | BSS: 0074c000 - 007b73a0 [428kB] l4lx | l4lx_thread_create: Created thread 0e.03 (tamer) l4lx | Using tamed mode. l4lx | l4env_linux_startup thread 4. l4lx | l4lx_thread_create: Created thread 0e.04 (server) l4lx | main thread will be 0e.04 l4lx | l4env_register_pointer_section: addr = 006e9000 size = 401408 l4lx | sec-w-init: virt: 0x006e9000 to 0x0074afff [392 KiB] l4lx | sec-w-init: Number of physical regions: 1, 401408 Bytes l4lx | sec-w-init: 1: Phys: 0x01161000 to 0x011c3000, Size: 401408 l4lx | main thread: received startup message. l4lx | Main thread running, waiting... l4lx | setup_l4env_memory: Forcing superpages for main memory DMphys | [8.0] dm_phys/server/src/open.c:98:__create_ds(): DMphys | DMphys: memory allocation size 131072KB pool 0 failed! l4lx | [E.4] dm_mem/lib/clientlib/src/open.c:80:l4dm_mem_open(): l4lx | libdm_mem: open dataspace at 8.00 failed (ret -2, exc 0) l4lx | setup_l4env_memory: Can't get main memory of 128MB: out of memory(-2) l4lx : ! DMphys | DMphys memory pools: DMphys | pool 0 (Default memory pool): DMphys | size: 179632KB total, 169140K, 0MB) used DS: 30(C.02) DMphys | 0x009e7000-0x009eb000 ( 16KB, 0MB) used DS: 31(C.02) DMphys | 0x009eb000-0x009ed000 ( 8KB, 0MB) used DS: 33(C.02) DMphys | 0x009ed000-0x009ee000 ( 4KB, 0MB) used DS: 34(E.00) DMphys | 0x009ee000-0x009ef000 ( 4KB, 0MB) used DS: 63(E.00) DMphys | 0x009ef000-0x00a32000 ( 268KB, 0MB) used DS: 37(E.00) DMphys | 0x00a32000-0x00a33000 ( 4KB, 0MB) used DS: 63(E.00) DMphys | 0x00a33000-0x00a37000 ( 16KB, 0MB) used DS: 64(E.00) DMphys | 0x00a37000-0x00a38000 ( 4KB, 0MB) used DS: 65(E.01) DMphys | 0x00a38000-0x00a48000 ( 64KB, 0MB) used DS: 66(E.02) DMphys | 0x00a48000-0x00a49000 ( 4KB, 0MB) used DS: 67(E.02) DMphys | 0x00a49000-0x00a89000 ( 256KB, 0MB) free DS: DMphys | 0x00a89000-0x00b64000 ( 876KB, 1MB) used DS: 61(E.00) DMphys | 0x00b64000-0x00b80000 ( 112KB, 0MB) used DS: 32(C.02) DMphys | 0x00c14000-0x01080000 ( 4528KB, 4MB) free DS: DMphys | 0x0108a000-0x01161000 ( 860KB, 1MB) used DS: 28(C.02) DMphys | 0x01161000-0x011c3000 ( 392KB, 0MB) used DS: 29(C.02) DMphys | 0x011c3000-0x01220000 ( 372KB, 0MB) used DS: 30(C.02) DMphys | 0x01257000-0x01267000 ( 64KB, 0MB) used DS: 13(D.03) DMphys | 0x01267000-0x0126b000 ( 16KB, 0MB) used DS: 14(B.03) DMphys | 0x0126b000-0x0126c000 ( 4KB, 0MB) used DS: 15(C.02) DMphys | 0x0126c000-0x01270000 ( 16KB, 0MB) used DS: 16(C.03) DMphys | 0x01270000-0x01271000 ( 4KB, 0MB) used DS: 17(B.02) DMphys | 0x01271000-0x01272000 ( 4KB, 0MB) used DS: 18(B.02) DMphys | 0x01272000-0x01273000 ( 4KB, 0MB) used DS: 19(B.02) DMphys | 0x01273000-0x01274000 ( 4KB, 0MB) used DS: 20(B.02) DMphys | 0x01274000-0x01275000 ( 4KB, 0MB) used DS: 21(B.02) DMphys | 0x01275000-0x01279000 ( 16KB, 0MB) used DS: 22(B.04) DMphys | 0x01279000-0x0127a000 ( 4KB, 0MB) used DS: 23(C.02) DMphys | 0x0127a000-0x0127f000 ( 20KB, 0MB) used DS: 24(C.02) DMphys | 0x0127f000-0x01280000 ( 4KB, 0MB) used DS: 25(C.02) DMphys | 0x01280000-0x01281000 ( 4KB, 0MB) used DS: 26(C.02) DMphys | 0x01281000-0x01282000 ( 4KB, 0MB) used DS: 27(C.02) DMphys | 0x01282000-0x01283000 ( 4KB, 0MB) used DS: 28(C.02) DMphys | 0x01283000-0x01300000 ( 500KB, 0MB) used DS: 28(C.02) DMphys | 0x01350000-0x01400000 ( 704KB, 1MB) used DS: 28(C.02) DMphys | 0x0141c000-0x01500000 ( 912KB, 1MB) used DS: 28(C.02) DMphys | 0x0151c000-0x0151e000 ( 8KB, 0MB) used DS: 1(D.00) DMphys | 0x0151e000-0x0151f000 ( 4KB, 0MB) used DS: 2(D.00) DMphys | 0x0151f000-0x01520000 ( 4KB, 0MB) used DS: 3(D.01) DMphys | 0x01520000-0x01530000 ( 64KB, 0MB) used DS: 4(D.02) DMphys | 0x01530000-0x01532000 ( 8KB, 0MB) used DS: 5(B.00) DMphys | 0x01532000-0x01533000 ( 4KB, 0MB) used DS: 6(B.00) DMphys | 0x01533000-0x01534000 ( 4KB, 0MB) used DS: 7(B.01) DMphys | 0x01534000-0x01538000 ( 16KB, 0MB) used DS: 8(B.02) DMphys | 0x01538000-0x0153a000 ( 8KB, 0MB) used DS: 9(C.00) DMphys | 0x0153a000-0x0153b000 ( 4KB, 0MB) used DS: 10(C.00) DMphys | 0x0153b000-0x0153c000 ( 4KB, 0MB) used DS: 11(C.01) DMphys | 0x0153c000-0x01540000 ( 16KB, 0MB) used DS: 12(C.02) DMphys | 0x01560000-0x01758000 ( 2016KB, 2MB) used DS: 62(E.00) DMphys | 0x01758000-0x01873000 ( 1132KB, 1MB) free DS: DMphys | 0x01873000-0x01879000 ( 24KB, 0MB) used DS: 48(E.00) DMphys | 0x01879000-0x018d8000 ( 380KB, 0MB) free DS: DMphys | 0x018d8000-0x018e8000 ( 64KB, 0MB) used DS: 47(E.00) DMphys | 0x018e8000-0x018f8000 ( 64KB, 0MB) used DS: 43(E.00) DMphys | 0x018f8000-0x018fb000 ( 12KB, 0MB) used DS: 44(E.00) DMphys | 0x018fb000-0x02a42000 ( 17692KB, 17MB) free DS: DMphys | 0x02a42000-0x02b18000 ( 856KB, 1MB) used DS: 60(E.00) DMphys | 0x02b18000-0x0361a000 ( 11272KB, 11MB) free DS: DMphys | 0x0361a000-0x037fa000 ( 1920KB, 2MB) used DS: 56(E.00) DMphys | 0x037fa000-0x03801000 ( 28KB, 0MB) used DS: 57(E.00) DMphys | 0x03801000-0x06720000 ( 48252KB, 47MB) free DS: DMphys | 0x0798d000-0x0cd2c000 ( 85628KB, 84MB) free DS: DMphys | pool 7 (ISA DMA memory pool): DMphys | size: 8192KB total, 8192KB free, 0KB reserved DMphys | 0x00100000-0x00106000 ( 24KB, 0MB) free DS: DMphys | 0x00107000-0x00136000 ( 188KB, 0MB) free DS: DMphys | 0x001be000-0x002d0000 ( 1096KB, 1MB) free DS: DMphys | 0x002e3000-0x00400000 ( 1140KB, 1MB) free DS: DMphys | 0x0043a000-0x009d6000 ( 5744KB, 6MB) free DS: DMphys | DMphys dataspace list: DMphys | 67: size=00001000 owner=E.02 name="" DMphys | 66: size=00010000 owner=E.02 name="L4thread stack" DMphys | 65: size=00001000 owner=E.01 name="L4thread stack" DMphys | 64: size=00004000 owner=E.00 name="L4thread TCB table" DMphys | 63: size=00002000 owner=E.00 name="L4RM heap" DMphys | 62: size=001f8000 owner=E.00 name="anon memory" DMphys | 61: size=000db000 owner=E.00 name="anon memory" DMphys | 60: size=000d6000 owner=E.00 name="anon memory" DMphys | 57: size=00007000 owner=E.00 name="anon memory" DMphys | 56: size=001e0000 owner=E.00 name="anon memory" DMphys | 48: size=00006000 owner=E.00 name="anon memory" DMphys | 47: size=00010000 owner=E.00 name="anon memory" DMphys | 44: size=00003000 owner=E.00 name="anon memory" DMphys | 43: size=00010000 owner=E.00 name="anon memory" DMphys | 37: size=00043000 owner=E.00 name="anon memory" DMphys | 34: size=00001000 owner=E.00 name="anon memory" DMphys | 33: size=00002000 owner=C.02 name="pt_load" DMphys | 32: size=0001c000 owner=C.02 name="pt_load" DMphys | 31: size=000owner=C.02 name="pt_load" DMphys | 29: size=00062000 owner=C.02 name="pt_load" DMphys | 28: size=002e9000 owner=C.02 name="pt_dynamic" DMphys | 27: size=00001000 owner=C.02 name="pt_phdr" DMphys | 26: size=00001000 owner=C.02 name="infopage" DMphys | 25: size=00001000 owner=C.02 name="libc heap" DMphys | 24: size=00005000 owner=C.02 name="libc heap" DMphys | 23: size=00001000 owner=C.02 name="libc heap" DMphys | 22: size=00004000 owner=B.04 name="L4thread stack" DMphys | 21: size=00001000 owner=B.02 name="libc heap" DMphys | 20: size=00001000 owner=B.02 name="libc heap" DMphys | 19: name="libc heap" DMphys | 16: size=00004000 owner=C.03 name="L4thread stack" DMphys | 15: size=00001000 owner=C.02 name="cfg infopage" DMphys | 14: size=00004000 owner=B.03 name="L4thread stack" DMphys | 13: size=00010000 owner=D.03 name="L4thread stack" DMphys | 12: size=00004000 owner=C.02 name="L4thread stack" DMphys | 11: size=00001000 owner=C.01 name="L4thread stack" DMphys | 10: size=00001000 owner=C.00 name="L4thread TCB table" DMphys | 9: size=00002000 owner=C.00 name="L4RM heap" DMphys | 8: size=00004000 owner=B.02 name="L4thread stack" DMphys | 7: size=00001000 owner=B.01 name="L4thread stack" DMphys | 6: size=00001000 owner=B.00 name="L4thread TCB table" DMphys | 5: size=00002000 owner=B.00 name="L4RM heap" DMphys | 4: size=00010000 owner=D.02 name="L4thread stack" DMphys | 3: size=00001000 owner=D.01 name="L4thread stack" DMphys | 2: size=00001000 owner=D.00 name="L4thread TCB table" DMphys | 1: size=00002000 owner=D.00 name="L4RM heap" DMphys | =========================================================== DMphys | total size 00a3f000 (10492kB, 10MB) l4lx | Terminating L4Linux. simplets| Exit E.02