mcasadevall@siren:~$ ./start_l4_hurd Could not open '/dev/kqemu' - QEMU acceleration layer not activated laden:main: laden 0.0 laden:debug_dump: Booted by GNU GRUB 0.97 laden:debug_dump: Memory: Lower 639 KB, Upper 523264 KB laden:debug_dump: Module 1: Start 0x1a4000, End 0x1d2af3, Cmd /home/mcasadevall/src/l4/boot/x86-kernel laden:debug_dump: Module 2: Start 0x1d3000, End 0x1e94b8, Cmd /home/mcasadevall/src/l4/boot/sigma0 laden:debug_dump: Module 3: Start 0x1ea000, End 0x2e2384, Cmd /home/mcasadevall/src/l4/boot/viengoos -D 3 -o serial laden:debug_dump: Module 4: Start 0x2e3000, End 0x4e2cc2, Cmd /home/mcasadevall/src/l4/boot/ruth -D 3 laden:debug_dump: Memory Map 1: Type 1, Base 0x0, Length 0x9fc00 laden:debug_dump: Memory Map 2: Type 2, Base 0x9fc00, Length 0x400 laden:debug_dump: Memory Map 3: Type 2, Base 0xe8000, Length 0x18000 laden:debug_dump: Memory Map 4: Type 1, Base 0x100000, Length 0x1ff00000 laden:debug_dump: Memory Map 5: Type 2, Base 0xfffc0000, Length 0x40000 laden:loader_add_region: Protected Region: modules (0x2e3000 - 0x4e2cc2) laden:loader_add_region: Protected Region: laden (0x190000 - 0x196e48) laden:mem_check: Memory 0x190000-0x196e48 conflicts with non-conventional memory map 0 (0x0-0xffffffff) laden:mem_check: Memory 0x190000-0x196e48 fits in conventional memory map 4 (0x100000-0x1fffffff) laden:loader_add_region: Protected Region: grub-mbi (0x2fb20 - 0x2fb80) laden:mem_check: Memory 0x2fb20-0x2fb80 conflicts with non-conventional memory map 0 (0x0-0xffffffff) laden:mem_check: Memory 0x2fb20-0x2fb80 fits in conventional memory map 1 (0x0-0x9fbff) laden:loader_add_region: Protected Region: grub-mods-metadata (0x23700 - 0x23720) laden:mem_check: Memory 0x23700-0x23720 conflicts with non-conventional memory map 0 (0x0-0xffffffff) laden:mem_check: Memory 0x23700-0x23720 fits in conventional memory map 1 (0x0-0x9fbff) laden:loader_add_region: Protected Region: grub-mods-cmdlines (0x207f - 0x20b4) laden:mem_check: Memory 0x207f-0x20b4 conflicts with non-conventional memory map 0 (0x0-0xffffffff) laden:mem_check: Memory 0x207f-0x20b4 fits in conventional memory map 1 (0x0-0x9fbff) laden:loader_add_region: Protected Region: grub-mods-cmdlines (0x20b5 - 0x20dc) laden:mem_check: Memory 0x20b5-0x20dc conflicts with non-conventional memory map 0 (0x0-0xffffffff) laden:mem_check: Memory 0x20b5-0x20dc fits in conventional memory map 1 (0x0-0x9fbff) laden:loader_add_region: Protected Region: first-page (0x0 - 0xfff) laden:mem_check: Memory 0x0-0xfff conflicts with non-conventional memory map 0 (0x0-0xffffffff) laden:mem_check: Memory 0x0-0xfff fits in conventional memory map 1 (0x0-0x9fbff) laden:loader_add_region: Protected Region: kernel-mod (0x1a4000 - 0x1d2af3) laden:mem_check: Memory 0x1a4000-0x1d2af3 conflicts with non-conventional memory map 0 (0x0-0xffffffff) laden:mem_check: Memory 0x1a4000-0x1d2af3 fits in conventional memory map 4 (0x100000-0x1fffffff) laden:loader_add_region: Protected Region: sigma0-mod (0x1d3000 - 0x1e94b8) laden:mem_check: Memory 0x1d3000-0x1e94b8 conflicts with non-conventional memory map 0 (0x0-0xffffffff) laden:mem_check: Memory 0x1d3000-0x1e94b8 fits in conventional memory map 4 (0x100000-0x1fffffff) laden:loader_add_region: Protected Region: rootserver-mod (0x1ea000 - 0x2e2384) laden:mem_check: Memory 0x1ea000-0x2e2384 conflicts with non-conventional memory map 0 (0x0-0xffffffff) laden:mem_check: Memory 0x1ea000-0x2e2384 fits in conventional memory map 4 (0x100000-0x1fffffff) laden:loader_add_region: Protected Region: kernel (0x100000 - 0x110fff) laden:mem_check: Memory 0x100000-0x110fff conflicts with non-conventional memory map 0 (0x0-0xffffffff) laden:mem_check: Memory 0x100000-0x110fff fits in conventional memory map 4 (0x100000-0x1fffffff) laden:loader_add_region: Protected Region: kernel (0x112000 - 0x1233ff) laden:mem_check: Memory 0x112000-0x1233ff conflicts with non-conventional memory map 0 (0x0-0xffffffff) laden:mem_check: Memory 0x112000-0x1233ff fits in conventional memory map 4 (0x100000-0x1fffffff) laden:loader_add_region: Protected Region: kernel (0x144000 - 0x147c83) laden:mem_check: Memory 0x144000-0x147c83 conflicts with non-conventional memory map 0 (0x0-0xffffffff) laden:mem_check: Memory 0x144000-0x147c83 fits in conventional memory map 4 (0x100000-0x1fffffff) laden:loader_add_region: Protected Region: sigma0 (0x40000 - 0x4840f) laden:mem_check: Memory 0x40000-0x4840f conflicts with non-conventional memory map 0 (0x0-0xffffffff) laden:mem_check: Memory 0x40000-0x4840f fits in conventional memory map 1 (0x0-0x9fbff) laden:loader_add_region: Protected Region: rootserver (0x400000 - 0x45d1af) laden:mem_check: Memory 0x400000-0x45d1af conflicts with non-conventional memory map 0 (0x0-0xffffffff) laden:mem_check: Memory 0x400000-0x45d1af fits in conventional memory map 4 (0x100000-0x1fffffff) laden:loader_add_region: rootserver (0x400000 - 0x45d1af) conflicts with modules (0x2e3000 - 0x4e2cc2); moving latter laden:loader_add_region: consider memory_map: 0, 4, 0x0-0xffffffff laden:loader_add_region: consider memory_map: 1, 1, 0x0-0x9fbff laden:loader_add_region: consider memory_map: 2, 15, 0x9fc00-0x9ffff laden:loader_add_region: consider memory_map: 3, 15, 0xe8000-0xfffff laden:loader_add_region: consider memory_map: 4, 1, 0x100000-0x1fffffff laden:loader_add_region: Considering memory (0x100000-0x1fffffff) laden:loader_add_region: Can't use 0x100000, laden(0x190000-0x196e48) in way laden:loader_add_region: Trying address 0x197000 laden:loader_add_region: Can't use 0x197000, rootserver-mod(0x1ea000-0x2e2384) in way laden:loader_add_region: Trying address 0x2e3000 laden:loader_add_region: Can't use 0x2e3000, rootserver(0x400000-0x45d1af) in way laden:loader_add_region: Trying address 0x45e000 laden:loader_add_region: Moving modules(0) from 0x2e3000-0x4e2cc2 to 0x45e000-0x65dcc2 laden:modules_relocate: Moving modules 1-2 from 0x2e3000-0x4e2cc2 to 0x45e000 (+0x17b000) laden:kip_fixup: KIP found at address 0x118000. laden:kip_fixup: Booting an x2 kernel. laden:kip_fixup: Sigma0: Low 0x40000, High 0x48410, IP 0x40000, SP 0x0 laden:kip_fixup: Root: Low 0x400000, High 0x45d1b0, IP 0x400000, SP 0x0 laden:kip_fixup: Memory Map 1: Type 4/0, Low 0x0, High 0xfffffffffffffc00 laden:kip_fixup: Memory Map 2: Type 1/0, Low 0x0, High 0x9f800 laden:kip_fixup: Memory Map 3: Type 15/2, Low 0x9fc00, High 0x9fc00 laden:kip_fixup: Memory Map 4: Type 15/2, Low 0xe8000, High 0xffc00 laden:kip_fixup: Memory Map 5: Type 1/0, Low 0x100000, High 0x1ffffc00 laden:kip_fixup: Memory Map 6: Type 15/2, Low 0xfffffffffffc0000, High 0xfffffffffffffc00 laden:kip_fixup: Memory Map 7: Type 4/0, Low 0xa0000, High 0xefc00 laden:kip_fixup: Memory Map 8: Type 2/0, Low 0xe000000, High 0xefffc00 laden:main: Entering kernel at address 0x147050... viengoos (c8001):main:505: viengoos 0.0 (c8001) viengoos (c8001):memory_reserve_dump:190: Reserved regions: viengoos (c8001):memory_reserve_dump:194: 0x20b5-0x20dc viengoos (c8001):memory_reserve_dump:194: 0x400000-0x45d1b0 viengoos (c8001):memory_reserve_dump:194: 0x45e000-0x65dcc2 memory_grab: 65536: { 0x10000000 } = 65536 pages memory_grab: 32768: { } = 0 pages memory_grab: 16384: { 0x4000000, 0x8000000 } = 32768 pages memory_grab: 8192: { 0x2000000, 0xc000000 } = 16384 pages memory_grab: 4096: { 0x1000000, 0xf000000 } = 8192 pages memory_grab: 2048: { 0x800000 } = 2048 pages memory_grab: 1024: { } = 0 pages memory_grab: 512: { 0x200000 } = 512 pages memory_grab: 256: { 0x700000 } = 256 pages memory_grab: 128: { 0x180000, 0x680000 } = 256 pages memory_grab: 64: { } = 0 pages memory_grab: 32: { 0x60000, 0x160000, 0x660000 } = 96 pages memory_grab: 16: { 0x10000, 0x30000, 0x50000, 0x80000, 0x150000 } = 80 pages memory_grab: 8: { 0x8000, 0x90000, 0x148000 } = 24 pages memory_grab: 4: { 0x4000, 0x24000, 0x28000, 0x4c000, 0x98000, 0x144000 } = 24 pages memory_grab: 2: { 0x20000, 0x2c000, 0x4a000, 0x9c000, 0x65e000 } = 10 pages memory_grab: 1: { 0x1000, 0x3000, 0x22000, 0x2e000, 0x49000, 0x9e000 } = 6 pages memory_grab: 504768 (0x7b3c0) kbytes (126192 pages) available memory: 0-1ffff000 viengoos (c8001):system_task_load:450: System task started (tid: 3a.2; ip=0x80ae564). viengoos (c8001):ager_start:483: Created ager: cc001 In cmain ruth (e8002):storage_init:712: Adding folio 80000/44 ruth (e8002):storage_init:712: Adding folio 100000/44 ruth (e8002):storage_init:756: 2 folios, 178 objects used, 80 free objects viengoos (cc001):ager_loop:61: Ager loop running : 2000-7ffff : 83020-83fff : 85000-8547f : 85800-85fff : bd020-bdfff : bf700-bffff : 100000-10000f : 100030-100fff : 180000-8047fff : 80e9000-80e9fff : 80f0000-a00000ff : a0000300-a0001fff : a0003000-7fffffffffffffff ruth (e8002):pager_install:42: Installing pager at 10000/51+16 viengoos (c8001):lookup:142: Translating 10000/51: guard 0x1/7 does not match 0x10's bits 0-6 => 0x10 ruth (e8002):as_build_internal:92: Ensuring slot at 0x10000/51 ruth (e8002):allocate_object:340: 0/44 cappage -> 141000/51 ruth (e8002):as_build_internal:92: Ensuring slot at 0x1f000/51 ruth (e8002):pager_install:42: Installing pager at 200000/51+512 ruth (e8002):as_build_internal:92: Ensuring slot at 0x3ff000/51 viengoos (c8001):lookup:142: Translating 3fe000/51: guard 0x7f/7 does not match 0x3fe's bits 0-6 => 0x7e ruth (e8002):as_build_internal:92: Ensuring slot at 0x3fe000/51 ruth (e8002):allocate_object:340: 380000/44 cappage -> 146000/51 ruth 0.0 Hello, here is Ruth, your friendly root server! ruth (e8002)::68: RM: 32.1 Checking shadow page tables... ok. Checking folio_object_alloc... ok. Checking folio_alloc... ok. ruth (e8002):storage_alloc_:348: Allocating additional folio, free count: 16 ruth (e8002):storage_alloc_:502: Folio at 100000/44 full ruth (e8002):storage_alloc_:348: Allocating additional folio, free count: 16 ruth (e8002):storage_alloc_:502: Folio at 180000/44 full ruth (e8002):storage_alloc_:348: Allocating additional folio, free count: 16 ruth (e8002):storage_alloc_:502: Folio at 480000/44 full ruth (e8002):storage_alloc_:348: Allocating additional folio, free count: 16 ruth (e8002):storage_alloc_:502: Folio at 400000/44 full ruth (e8002):storage_free_:592: Folio at 180000/44 now empty ruth (e8002):storage_free_:592: Folio at 480000/44 now empty ruth (e8002):storage_free_:592: Folio at 400000/44 now empty ruth (e8002):storage_free_:592: Folio at 500000/44 now empty Checking storage_alloc... ok. ruth (e8002):pager_install:42: Installing pager at 20000/51+16 Checking mmap... ok. Checking thread creation... ok. ruth (e8002):pager_install:42: Installing pager at 600000/51+512 ruth (e8002):pager_install:42: Installing pager at 800000/51+512 ruth (e8002):pager_install:42: Installing pager at a00000/51+512 ruth (e8002):pager_install:42: Installing pager at c00000/51+512 Checking pthread library... ok. Checking activity creation... ok. Checking activity_policy... ok. ruth (e8002):pager_install:42: Installing pager at 600000/51+512 ruth (e8002):pager_install:42: Installing pager at 800000/51+512 ruth (e8002):pager_install:42: Installing pager at a00000/51+512 ruth (e8002):pager_install:42: Installing pager at c00000/51+512 Checking futex implementation... ok. ruth (e8002):pager_install:42: Installing pager at 600000/51+512 Checking thread_wait_object_destroy... ok. ruth (e8002)::685: Writing before dealloc... ruth (e8002)::691: Writing after dealloc (should sigsegv)... ruth (e8002):pager_fault:106: No pager covers 2000/63 ruth:exception_handler_normal:195:e8002: error: Failed to handle fault at 2000/63 (ip=8057c18) viengoos:activity_destroy:81 error: Request to destroy root activity