L4Linux-2.6.17 on Fiasco

[Adam Lackorzynski]

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
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/