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