-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
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.
Bjoern