IPC from L4Linux

[Bjoern Doebel]

-----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
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.5 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFFQRwTP5ijxgQLUNkRAuDDAJ9oJZfBxpDz+ryXjtega0+ix4M7cwCglH3+
S1alJWIGzdfrYWuZl1IGZY4=
=qEi5
-----END PGP SIGNATURE-----