|
| From: | Tom Bachmann |
| Subject: | Re: A Framework for Device Drivers in Microkernel Operating Systems |
| Date: | Fri, 12 May 2006 19:48:10 +0200 |
| User-agent: | Mail/News 1.5 (X11/20060403) |
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 William Grim wrote: > I really look forward to any comments or suggestions anyone may have! > 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. - -- - -ness- -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.2.2 (GNU/Linux) iD8DBQFEZMpavD/ijq9JWhsRAo1qAJ4kfN5JuMtaDCLwM14+F7VgWn0rfACfdRBs +vKf0Lc9C14vi/bdjirSPmQ= =Bgr1 -----END PGP SIGNATURE-----
| [Prev in Thread] | Current Thread | [Next in Thread] |