|
From: | William Grim |
Subject: | Re: A Framework for Device Drivers in Microkernel Operating Systems |
Date: | Sat, 13 May 2006 14:46:27 -0500 |
-----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-----
_______________________________________________
L4-hurd mailing list
address@hidden
http://lists.gnu.org/mailman/listinfo/l4-hurd
[Prev in Thread] | Current Thread | [Next in Thread] |