L4Linux + Fiasco-ux

[Daniel Vandersee]

Hello,

when I try to run L4Linux (compiled for ux) on top of Fiasco-ux I get
the following error:

$./lx con

...

> fuxfprov| open "/home/user/ext/l4env_060809/DROPS/bin/x86_586/l4v2/rd1" by
> fuxfprov: F.04
> l4lx    | INITRD: Size of RAMdisk is 16384KiB
> l4lx    | RAMdisk from 04800000 to 05800000 [16384KiB]
> l4lx    | l4lx_thread_create: Created thread 0f.05 (timer.i0)
> DMphys  | ds 67, client F.00, rights 0x0003, has 0x0001
> DMphys  | [7.0] dm_phys/server/src/map.c:620:if_l4dm_generic_fault_component():
> DMphys  |  DMphys: bad permissions
> l4lx    | L4RM: dataspace at 0x00400000-0x005c5fff, id 67 at 7.00
> l4lx    | L4RM: dataspace manager call failed ("permission denied")
> l4lx    | L4RM: [PF] write at 0x004026d0, ip 0040b2bc, src F.02
> l4lx    | [F.0] l4rm/lib/src/pagefault.c:78:__unknown_pf():
> l4lx    |  unhandled page fault
> 
> --PANIC, 'g' for exit-------------------------------ESP:0000893c EIP:000223b3
> (f.00) jdb:        

I tried several L4Linux configurations without success. Any help would
be appreciated.

Kind regards,
Daniel