L4.sec status ping

[Bjoern Doebel]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi,

> What does "security monitor style IPC permissions" mean? Can it be found in
> current Fiasco release?

Yes, it can be found in Fiasco. Tasks can be started in "monitored" mode
which means that they only possess rights to communicate with themselves,
their creators and the NIL thread. Every other IPC will raise a capability
fault which is sent to a user-defined capability fault handler. The handler
may then act upon this fault by mapping an IPC right to the faulting task,
if it possesses this right itself. Whenever this right has been mapped, no
more capabilty faults will occur until the right is revoked at a later
point in time.

> Where can I find information about Nova and Robin? Are there any English
> documentation?

Maybe start at http://robin.tudos.org/ .

Regards,
Bjoern
- --
Dipl.-Inf. Björn Döbel                 doebel at os.inf.tu-dresden.de
Technische Universität Dresden         Tel: +49 351 463 38799
Dept. of Computer Science, OS Chair    Fax: +49 351 463 38284
D-01062 Dresden, Germany
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFGuBhvP5ijxgQLUNkRAoRgAKCcc/8pDFTJf4qAcf61/D6VSMpTzwCgmn9p
cTIr3gAxmG0UV+wy4ejiHQg=
=fu56
-----END PGP SIGNATURE-----