Re: A Framework for Device Drivers in Microkernel Operating Systems

[Tom Bachmann]

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

Tom Bachmann wrote:
> I did just have a short look at it, but in section 3.1 you state "L4KA's
> main eatures are simplicity, speed and *security*.". The last is wrong.
> I would not call global names and unprotected IPC secure.

Also, there are DOS problems related to the mapping database.
- --
- -ness-
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2.2 (GNU/Linux)

iD8DBQFEZM8cvD/ijq9JWhsRAh41AJ9Y3pjRc4Yl9DIiMHNsBoRqad+56ACfXIxl
glwYDxaBdM0loHVybezdzkA=
=Thvx
-----END PGP SIGNATURE-----