IPC from L4Linux

[Daniel Vandersee]

>>> when I place an ipc call from a l4linux task to an l4 server, I always
>>> get a task number, which, I think, is not assigned. Is for every l4linux
>>> task a new l4 task is generated/reserved?
> 
> Yes. Every L4Linux process is run in a separate L4 task, Linux system calls
> are reflected to the L4Linux server.
> 

Is it possible to determine the task number of the parent process
anyhow? Or is it possible to get a list of subprocesses L4Linux has created?

Kind regards,
Daniel