L4Linux + Fiasco-ux

[Andreas Niederl]

Hi,

Daniel Vandersee wrote:
[...]
> I dowloaded the ldso package and recompiled l4linux (with ldso) as well
> as l4env, but I'm afraid this was wasn't the problem - I still get the
> same error.
> 
[...]
>>DMphys  | ds 81, 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 81 at 7.00
>>l4lx    | L4RM: dataspace manager call failed ("permission denied")
>>l4lx    | L4RM: [PF] write at 0x00402860, ip 0040b2bc, src F.02
>>l4lx    | [F.0] l4rm/lib/src/pagefault.c:78:__unknown_pf():
>>l4lx    |  unhandled page fault

You could try the option all_sects_writable in your loader script for 
L4Linux. This works for me with Qemu.

Regards,
Andi