l4linux26 @ fiasco-ux w/ dietlibc
Marko Wolf
mwolf at crypto.ruhr-uni-bochum.de
Tue Oct 25 14:28:18 CEST 2005
Hi!
I tried running l4linux26 on fiasco-ux compiled from the actual CVS with the
dietlibc using the following script:
fiasco -t 32768 \
-G800x600 at 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"
Unfortunatly, l4linux causes a null pointer exceptions (see attached log). I
tried various kernel compiler options with always the same error. Any idea
for the reason or what I can try else?
Thanks a lot
Marko
PS: By the way, Im using gcc 3.3.6
-------------- next part --------------
./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 at 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 at 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 = [ <!0> 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
More information about the l4-hackers
mailing list