Re: A Framework for Device Drivers in Microkernel Operating Systems

[William Grim]

Thanks, Tom, I'll be sure to update that.  If I recall correctly, I got that information straight from whatever source I was using there.

On 5/12/06, Tom Bachmann <address@hidden> wrote:

-----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

-- 
William M. Grim
Computer Science Master's Student, Southern Illinois University at Edwardsville
Unix Network Administrator, SIUE, CS. Dept.