Hi,
On Fri Aug 11, 2006 at 16:28:47 +0200, FERANDELLE Pascal wrote:
I try to run L4Linux-2.6.17 on Fiasco, on native PC, and I have problems. As I got the following error : ... l4lx | Filling lower ptabs l4lx | Done (1643 entries) l4lx | l4lx_thread_create: Created thread 0e.05 (timer.i0) DMphys | ds 36, client E.00, rights 0x0003, has 0x0001 DMphys | [8.0] dm_phys/server/src/map.c:620:if_l4dm_generic_fault_component(): DMphys | DMphys: bad permissions l4lx | L4RM: dataspace at 0x00400000-0x00614fff, id 36 at 8.00 l4lx | L4RM: dataspace manager call failed ("permission denied") l4lx | L4RM: [PF] write at 0x004025ec, ip 0040b53c, src E.02 l4lx | [E.0] l4rm/lib/src/pagefault.c:78:__unknown_pf(): l4lx | unhandled page fault
after looking at the mailing list, it seems the "Use ldso for loading" option has to be configured for L4Linux. I did so, but now, the load stops with the following messages :
loader | vmlinuz26 : Starting application using libld-l4.s.so loader | vmlinuz26,#e : Loading binary loader | vmlinuz26,#e : Loading ldso loader | vmlinuz26,#e : Starting libld-l4.s.so at 00013870 via 0000bf60 then messages from io about PCI configuration, and go to jdb with message : (e.00) jdb: --__main() returned
Never seen this constellation before. Could it be that you did not reconfigured and recompiled you L4 userland with the ldso option switched on?
My grub.conf file is as following :
title L4_Linux 2.6 root (hd0,0) kernel /l4_linux/bootstrap modaddr 0x06000000 module /l4_linux/main -nowait -nokdb -serial_esc -comspeed 115200 -comport 1 module /l4_linux/sigma0 module /l4_linux/roottask task modname "bmodfs" attached 4 modules module /l4_linux/events module /l4_linux/names -events module /l4_linux/log module /l4_linux/dm_phys --isa=0x00800000 -v --events module /l4_linux/simple_ts -t 300 --events module /l4_linux/l4io -noirq --events module /l4_linux/l4exec --events # module /l4_linux/con -l4io -cpuload --events module /l4_linux/bmodfs --events module /l4_linux/libld-l4.s.so module /l4_linux/libloader.s.so module /l4_linux/linux26.cfg module /l4_linux/vmlinuz26 module /l4_linux/loader --fprov=BMODFS linux26.cfg
You can omit l4exec when using ldso.
Adam