L4Linux-2.6.17 on Fiasco

FERANDELLE Pascal pascal.ferandelle at fr.thalesgroup.com
Fri Aug 11 16:28:47 CEST 2006


Hi,

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

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

and my linux26.cfg file :

modpath "(hd0,0)/l4_linux"
task "vmlinuz26" "earlyprintk=yes mem=64M root=/dev/hda3" all_sects_writable

Any help would be great !!!
Thanks

Pascal






More information about the l4-hackers mailing list