./fiasco-ux -m 512 -symbols ./Symbols -lines ./Lines -rmgr ./roottask -symbols -lines -sigma0 ./sigma0-ux -fb_program ./ux_con -irq0 ./irq0 -t 32768 -G 800x600@16 -m 512 -R roottask -l ./names -l ./log -l ./dm_phys -l ./simple_ts -t 380 -l ./fuxfprov -n9 -l ./rtc-ux -n10 -l ./l4exec -l ./l4dope-ux -l ./loader run l4linux26.cfg Fiasco-UX on Linux 2.6.11-1-686 (i686) Native Syscall Map: 0x600 Mapped 512 MB Memory + 4096 KB Framebuffer + 4 MB Input Area on FD 3 Loading Module 0x00090000-0x0009562c [./sigma0-ux] Loading Module 0x00124000-0x0020092c [roottask] Copying Module 0x1d600000-0x1d609394 [./names] Copying Module 0x1d5f6000-0x1d5ff2f4 [./log] Copying Module 0x1d5e1000-0x1d5f553c [./dm_phys] Copying Module 0x1d5d6000-0x1d5e0300 [./simple_ts] Copying Module 0x1d5b1000-0x1d5d5598 [./fuxfprov] Copying Module 0x1d5a9000-0x1d5b02b4 [./rtc-ux] Copying Module 0x1d57c000-0x1d5a86f4 [./l4exec] Copying Module 0x1d540000-0x1d57b2f4 [./l4dope-ux] Copying Module 0x1d516000-0x1d53f438 [./loader] Bootstrapping... Welcome to Fiasco(ux)! DD-L4(v2)/x86 microkernel (C) 1998-2005 TU Dresden Rev: Wed Oct 19 09:45:57 2005 compiled with gcc 3.3.6 for Intel Pentium Starting Framebuffer: 800x600@16 CPU: GenuineIntel (6:9:5:16) Model: Pentium-M (Banias) at 1299 MHz 128 Entry I TLB (4K pages) 2 Entry I TLB (4M pages) 128 Entry D TLB (4K pages) 8 Entry D TLB (4M pages) 32 KB L1 I Cache (8-way associative, 64 bytes per line) 32 KB L1 D Cache (8-way associative, 64 bytes per line) 1024 KB L2 U Cache (8-way associative, 64 bytes per line) Freeing init code/data: 20480 bytes (5 pages) SIGMA0: Hello! Found Fiasco: KIP syscalls: no. Allocated 132kB for maintenance structures. Roottask. Found Fiasco-UX. [00000000-00001000) added BIOS area [0009f000-00100000) added adapter space [1d516000-1d60a000] reserved for boot modules [00120000-00201000] reserved for Roottask [00001000-00002000) reserved for KIP 523264kB ( 511MB) total RAM (reported by bootloader) 479920kB ( 469MB) received RAM from Sigma0 1880kB ( 2MB) reserved RAM for RMGR Received no I/O ports Attached irqs = [ 1 2 3 4 5 6 7 8 9 A B C D E F ] Roottask: Loading 9 modules. #05: loading "./names" from [1d600000-1d609394] to [00240000-00247433][00248000-00251000] entry at 0000d0ec via trampoline page code #06: loading "./log" from [1d5f6000-1d5ff2f4] to [00400000-004077c3][00408000-0043a4e0] entry at 0000f0ec via trampoline page code #07: loading "./dm_phys" from [1d5e1000-1d5f553c] to [01500000-01512f14][01513000-0151a3a0] entry at 000110ec via trampoline page code #08: loading "./simple_ts" from [1d5d6000-1d5e0300] to [01400000-01408c54][01409000-014147e0] entry at 000130ec via trampoline page code #09: loading "./fuxfprov" from [1d5b1000-1d5d5598] to [00500000-00522fc0][00523000-005595e8] entry at 000150ec via trampoline page code #0a: loading "./rtc-ux" from [1d5a9000-1d5b02b4] to [01080000-010859c0][01086000-0108b000] entry at 000170ec via trampoline page code #0b: loading "./l4exec" from [1d57c000-1d5a86f4] to [01100000-0112a6a0][0112b000-0114f9e8] entry at 000190ec via trampoline page code #0c: loading "./l4dope-ux" from [1d540000-1d57b2f4] to [01b00000-01b36fa0][01b37000-01b82000] entry at 0001b0ec via trampoline page code #0d: loading "./loader run l4linux26.cfg" from [1d516000-1d53f438] to [01300000-01326d80][01327000-01355000] entry at 0001d0ec via trampoline page code simplets| Configured for 64 tasks. fuxfprov| File provider started, registered as 9.02 l4dope | map_inputmemory: paddr = 0xc0400000 l4dope | Input memory page mapped to 0x00400000 l4dope | SharedMem(alloc): hl.low=e0000, lh.high=80000, id=1e, size=800 l4dope | SharedMem(get_adr): address = e000 l4dope | SharedMem(alloc): hl.low=e0000, lh.high=80000, id=1f, size=800 l4dope | SharedMem(get_adr): address = f000 l4dope | SharedMem(alloc): hl.low=e0000, lh.high=80000, id=20, size=800 l4dope | SharedMem(get_adr): address = 15000 l4dope | SharedMem(alloc): hl.low=e0000, lh.high=80000, id=21, size=800 l4dope | SharedMem(get_adr): address = 16000 l4dope | SharedMem(alloc): hl.low=e0000, lh.high=80000, id=22, size=800 l4dope | SharedMem(get_adr): address = 17000 l4dope | SharedMem(alloc): hl.low=e0000, lh.high=80000, id=24, size=800 l4dope | SharedMem(get_adr): address = 19000 l4dope | SharedMem(alloc): hl.low=e0000, lh.high=80000, id=25, size=800 l4dope | SharedMem(get_adr): address = 9c000 l4dope | Mapping video memory at 0xc0000000 to 0x00800000 (size=4MB) l4dope | mapping: vaddr=0x800000 size=0(0x0) offset=0(0x0) l4dope | Frame buffer base: 0x800000 l4dope | Resolution: 800x600x16 l4dope | Bytes per scanline: 1600 l4dope | Current video mode is 800x600 red=11:5 green=5:6 blue=0:5 res=0:0 loader | Can't map tbuf status page (map=00004000, error=00 result=00004000) fuxfprov| open "run" by D.02 loader | "run" is a valid binary image exec | run: Loading exec | run: Merging psec 0130e000-01310000 with psec 0130a000-0130f000 exec | run: Has no symbols exec | run: Has no lines exec | libloader.s.so: Loading fuxfprov| open "libloader.s.so" by B.02 exec | libloader.s.so: Saved 19730 bytes of symbols exec | libloader.s.so: Relocating to 00010000 exec | libloader.s.so: Linking exec | libloader.s.so: Symbol mmap_normal is weak and undefined exec | libloader.s.so: Symbol munmap_normal is weak and undefined exec | libloader.s.so: Symbol mmap_normal is weak and undefined exec | libloader.s.so: Symbol munmap_normal is weak and undefined exec | libloader.s.so: Relocating entry 00005d90 => 00015d90 exec | libloader.s.so: Setting section flag 0800 exec | run: Setting section flag 0800 loader | run: Starting l4env-style application loader | run,#e: Starting at l4loader_init (000164d0) exec | run: Linking exec | run: Relocating entry 01300000 => 01300000 exec | run: Packed 18432 bytes of symbols exec | run: Packed 71933 bytes of lines loader | run,#e: Continue at l4env_init (000164e0, libloader.s.so) fuxfprov| open "l4linux26.cfg" by D.02 loader | sleeping for 1000 ms fuxfprov| open "vmlinuz26.ux" by D.02 exec | vmlinuz26.ux: Loading exec | vmlinuz26.ux: Interpreter section found, contains "/usr/lib/libc.so.1 exec : " exec | vmlinuz26.ux: Saved 489317 bytes of symbols exec | libloader.s.so: Relocating to 00010000 exec | libloader.s.so: Linking exec | libloader.s.so: Symbol mmap_normal is weak and undefined exec | libloader.s.so: Symbol munmap_normal is weak and undefined exec | libloader.s.so: Symbol mmap_normal is weak and undefined exec | libloader.s.so: Symbol munmap_normal is weak and undefined exec | libloader.s.so: Relocating entry 00005d90 => 00015d90 exec | libloader.s.so: Setting section flag 0800 exec | vmlinuz26.ux: Setting section flag 0800 loader | vmlinuz26.ux: Starting l4env-style application loader | vmlinuz26.ux,#f: Starting at l4loader_init (000164d0) exec | vmlinuz26.ux: Linking exec | vmlinuz26.ux: Relocating entry 00400000 => 00400000 exec | vmlinuz26.ux: Packed 400938 bytes of symbols exec | vmlinuz26.ux: Packed 983059 bytes of lines loader | vmlinuz26.ux,#f: Continue at l4env_init (000164e0, libloader.s.so) l4lx | crt0_construction called. l4lx | ======> L4Linux 2.6 starting... <======== l4lx | Binary name: vmlinuz26.ux l4lx | Kernel command line (8 args): mem=64M noreplacement root=1:0 load_ram l4lx : disk=1 ramdisk_size=56000 l4env_rd=ramdisk.gz panicblink=0 lang=de l4lx | Image: 00400000 - 005b51a8 [1748 KiB]. l4lx | Areas: Text: 00400000 - 0050e000 [1080kB] (a bit longer) l4lx | Data: 0050e000 - 005372c8 [164kB] l4lx | Initdata: 0053a000 - 00553000 [100kB] l4lx | BSS: 00553008 - 005b51a8 [392kB] l4lx | l4lx_thread_create: Created thread 0f.03 (server) l4lx | main thread will be 0f.03 l4lx | l4env_register_pointer_section: addr = 0050e000 size = 684032 l4lx | with-init: virt: 0x0050e000 to 0x005b4fff [668 KiB] l4lx | with-init: Number of physical regions: 1, 684032 Bytes l4lx | with-init: 1: Phys: 0x0171e000 to 0x017c5000, Size: 684032 l4lx | l4env_linux_startup thread 3. l4lx | main thread: received startup message. l4lx | L4RM: [PF] read at 0x00000000, eip 00540bfc, src F.03 l4lx | [F.0] l4rm/lib/src/pagefault.c:78:__unknown_pf(): l4lx | unhandled page fault