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