[00000000-00001000) added BIOS area [0009f000-00100000) added adapter space [020cd000-024cd000] reserved for boot modules [00120000-001fe000] reserved for Roottask [00001000-00002000) reserved for KIP 126591kB ( 123MB) total RAM (reported by bootloader) 115096kB ( 113MB) received RAM from Sigma0 4988kB ( 5MB) reserved RAM for RMGR Received no I/O ports Attached irqs = [ 1 3 4 5 6 7 8 9 a b c d e f ] Symbols at [071f6000-071fb000] (20kB), lines at [071e9000-071f6000] (52kB) Roottask: Loading 5 modules. #05: loading "(nd)/bin/names" from [020cd000-020fab55] to [00240000-00246dd2][00247000-00253000] entry at 000540ec via trampoline page code symbols at [071e7000-071e9000] (8kB), lines at [071e1000-071e7000] (24kB) #06: loading "(nd)/bin/log --prio 0xA1 --buffer 0" from [020fb000-02125cc8] to [00400000-00407361][00408000-0043a4b0] entry at 000560ec via trampoline page code symbols at [071df000-071e1000] (8kB), lines at [071d9000-071df000] (24kB) #07: loading "(nd)/bin/dm_phys -v " from [02126000-0218a44e] to [01500000-01512a5a][01513000-0151a390] entry at 000580ec via trampoline page code symbols at [071d5000-071d9000] (16kB), lines at [071c9000-071d5000] (48kB) #08: loading "(nd)/bin/l4io --noirq" from [0218b000-02367bba] to [00b80000-00ba37eb][00ba4000-00bd8000] entry at 0005a0ec via trampoline page code symbols at [07191000-071c9000] (224kB), lines at [0717b000-07191000] (88kB) #09: loading "(nd)/bin/l4dope --l4io -f" from [02368000-024ccc13] to [01b00000-01b44deb][01b45000-01b76000] entry at 0005c0ec via trampoline page code symbols at [0716d000-0717b000] (56kB), lines at [07145000-0716d000] (160kB) DMphys | DMphys memory map: DMphys | phys. memory 0x00000000-0x07c00000 (from L4 kernel info page) DMphys | using 0x00100000-0x07c00000 DMphys | Memory area Pool PS Flags DMphys | 0x00000000-0x00100000 -- -- RESERVED DMphys | 0x00100000-0x0012f000 0 12 MAPPED DMphys | 0x0012f000-0x001b6000 -- -- DENIED DMphys | 0x001b6000-0x00240000 0 12 MAPPED DMphys | 0x00240000-0x00253000 -- -- DENIED DMphys | 0x00253000-0x00400000 0 12 MAPPED DMphys | 0x00400000-0x0043b000 -- -- DENIED DMphys | 0x0043b000-0x00b80000 0 12 MAPPED DMphys | 0x00b80000-0x00bd8000 -- -- DENIED DMphys | 0x00bd8000-0x00c00000 0 12 MAPPED DMphys | 0x00c00000-0x01400000 0 22 MAPPED DMphys | 0x01400000-0x01500000 0 12 MAPPED DMphys | 0x01500000-0x0151b000 -- -- RESERVED DMphys | 0x0151b000-0x01b00000 0 12 MAPPED DMphys | 0x01b00000-0x01b76000 -- -- DENIED DMphys | 0x01b76000-0x01c00000 0 12 MAPPED DMphys | 0x01c00000-0x07000000 0 22 MAPPED DMphys | 0x07000000-0x07145000 0 12 MAPPED DMphys | 0x07145000-0x07c00000 -- -- DENIED DMphys | DMphys | DMphys memory pools: DMphys | pool 0 (Default memory pool): DMphys | size: 113180KB total, 113180KB free, 32KB reserved DMphys | 0x00100000-0x0012f000 ( 188KB, 0MB) DMphys | 0x001b6000-0x00240000 ( 552KB, 1MB) DMphys | 0x00253000-0x00400000 ( 1716KB, 2MB) DMphys | 0x0043b000-0x00b80000 ( 7444KB, 7MB) DMphys | 0x00bd8000-0x01500000 ( 9376KB, 9MB) DMphys | 0x0151b000-0x01b00000 ( 6036KB, 6MB) DMphys | 0x01b76000-0x07145000 ( 87868KB, 86MB) io | OSKit support: using 1024KB at 0x00180000 as heap io | do_args(): Disabling internal IRQ handling. io | PCI: Using configuration type 1 io | PCI: Probing PCI hardware io | PCI: Probing PCI hardware (bus 00) io | WARNING: Cannot handle memory 40012000-400120ff for device 1078:0101 io | WARNING: Cannot handle memory 40011000-4001107f for device 1078:0103 io | WARNING: Cannot handle memory 40800000-40ffffff for device 1078:0104 io | 00000000-ffffffff : PCI mem io | 40011000-4001107f : Cyrix Corporation 5530 Audio [Kahlua] io | 40012000-400120ff : Cyrix Corporation 5530 SMI [Kahlua] io | 40800000-40ffffff : Cyrix Corporation 5530 Video [Kahlua] io | d0000000-d00000ff : Realtek Semiconductor Co., Ltd. RTL-8139/8139C/ io : 8139C+ io | d0004000-d0004fff : Compaq Computer Corporation ZFMicro Chipset USB io | 0000-ffff : PCI IO io | 0cf8-0cff : PCI conf1 io | e000-e0ff : Realtek Semiconductor Co., Ltd. RTL-8139/8139C/8139C+ io | f000-f00f : Cyrix Corporation 5530 IDE [Kahlua] l4dope | OSKit support: using 6144KB at 0x00180000 as heap l4dope | DOpE(init): using L4 IO server l4dope | DOpE(init): using video fix l4dope | L4INPUT: !!! W A R N I N G !!! l4dope | L4INPUT: Please, do not use Fiasco's "-esc" with L4INPUT. l4dope | L4INPUT: !!! W A R N I N G !!! l4dope | serio: i8042 AUX port at 0x60,0x64 irq 12 l4dope | serio: i8042 KBD port at 0x60,0x64 irq 1 l4dope | input: ImPS/2 Generic Wheel Mouse on isa0060/serio1 l4dope | input: AT Raw Set 2 keyboard on isa0060/serio0 l4dope | input: PC Speaker l4dope | input: L4 input event injector l4dope | L4 input event injector: IRQ handler up l4dope | connect "ImPS/2 Generic Wheel Mouse", isa0060/serio1/input0 l4dope | connect "AT Raw Set 2 keyboard", isa0060/serio0/input0 l4dope | connect "PC Speaker", isa0061/input0 l4dope | connect "L4 input event injector", l4/sys l4dope | SharedMem(alloc): hl.low=e0000, lh.high=80000, id=10, size=800 l4dope | SharedMem(get_adr): address = 2000 l4dope | SharedMem(alloc): hl.low=e0000, lh.high=80000, id=11, size=800 l4dope | SharedMem(get_adr): address = 3000 l4dope | SharedMem(alloc): hl.low=e0000, lh.high=80000, id=12, size=800 l4dope | SharedMem(get_adr): address = 4000 l4dope | SharedMem(alloc): hl.low=e0000, lh.high=80000, id=13, size=800 l4dope | SharedMem(get_adr): address = 5000 l4dope | SharedMem(alloc): hl.low=e0000, lh.high=80000, id=14, size=800 l4dope | SharedMem(get_adr): address = 6000 l4dope | SharedMem(alloc): hl.low=e0000, lh.high=80000, id=15, size=800 l4dope | SharedMem(get_adr): address = 7000 l4dope | SharedMem(alloc): hl.low=e0000, lh.high=80000, id=16, size=800 l4dope | SharedMem(get_adr): address = 8000 l4dope | dope: addr=40800000 size=4032KiB io | [8.2] l4io/server/src/res.c:378:l4_io_request_mem_region_component(): io | requested (0x40800000-0x40beffff) not announced l4dope | [9.2] dope/server/l4/scrdrv.c:198:vc_map_video_mem(): l4dope | Can't request memory region from l4io. l4dope | L4RM: [PF] read at 0x00000000, ip 00000001, src 9.02 l4dope | [9.0] l4rm/lib/src/pagefault.c:78:__unknown_pf(): l4dope | unhandled page fault RMGR: task 9.00 at 00000001 is trying to get page 00000000 which is reserved KERNEL: 4.0 (tcb=c0100000) killed: Unhandled trap EAX 00194ea0 EBX 00000000 ECX 001a8500 EDX 00194ea1 ESI 00120000 EDI 001a9828 EBP 001a862c ESP 001a8604 EIP 00000003 EFLAGS 00013292 CS 001b SS 0023 DS 0023 ES 0023 FS 0023 GS 0023 trapno 6, error 00000000, from user mode