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