[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: A Framework for Device Drivers in Microkernel Operating Systems
From: |
Tom Bachmann |
Subject: |
Re: A Framework for Device Drivers in Microkernel Operating Systems |
Date: |
Fri, 12 May 2006 20:08:28 +0200 |
User-agent: |
Mail/News 1.5 (X11/20060403) |
-----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-----
- A Framework for Device Drivers in Microkernel Operating Systems, William Grim, 2006/05/12
- Re: A Framework for Device Drivers in Microkernel Operating Systems, Tom Bachmann, 2006/05/12
- Re: A Framework for Device Drivers in Microkernel Operating Systems,
Tom Bachmann <=
- Re: A Framework for Device Drivers in Microkernel Operating Systems, Espen Skoglund, 2006/05/15
- Re: A Framework for Device Drivers in Microkernel Operating Systems, Tom Bachmann, 2006/05/15
- Re: A Framework for Device Drivers in Microkernel Operating Systems, Jonathan S. Shapiro, 2006/05/15
- Re: A Framework for Device Drivers in Microkernel Operating Systems, Espen Skoglund, 2006/05/16
- Re: A Framework for Device Drivers in Microkernel Operating Systems, Jonathan S. Shapiro, 2006/05/16
- Re: A Framework for Device Drivers in Microkernel Operating Systems, Espen Skoglund, 2006/05/16
- Re: A Framework for Device Drivers in Microkernel Operating Systems, Jonathan S. Shapiro, 2006/05/16