Re: l4/sys/syscalls.h: No such file or directory

Hi, On 09/18/2014 05:11 PM, Björn Döbel wrote:

For logging you might just map your creator's LOG cap to the same cap index in the new task.

That worked, the following mapping did it:

l4_task_map(task_cap, L4RE_THIS_TASK_CAP, l4_obj_fpage(l4re_env()->log, 0, L4_FPAGE_RO), l4_map_obj_control(l4re_env()->log, L4_MAP_ITEM_MAP));

Thanks again for the effortful support you both provided! Best regards, Valentin