-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Espen Skoglund wrote: > Just some comments: > > o L4Ka is a widely defined project that encompasses many > sub-projects. One of these sub-projects is the L4Ka::Pistachio > microkernel. If you want to refer to features such as those above > you should really refer to specific microkernel APIs instead. >
Yes, this would be better. I took for granted we are speaking about pistachio. > o Regarding unprotected IPCs. The IPC mechanism in Version X.2 is > not completely unprotected. You do have the Redirectors that can > be used for restricting IPCs, albeit not very efficiently. > AAIU, this was never used (and not even implemented?). > o The problems with global name spaces are being addressed in L4Ka > and local name spaces have been implemented in L4Ka::Pistachio. > Then I'm not up-to-date anymore. sorry. - -- - -ness- -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.2.2 (GNU/Linux) iD8DBQFEaMnsvD/ijq9JWhsRApnnAJ9ZQpXj4qUVm/o2uIlnp1fPogzTqgCePeq9 EU9FGvjX/PINZbZlN+LzR6Y= =ZNnR -----END PGP SIGNATURE----- _______________________________________________ L4-hurd mailing list [email protected] http://lists.gnu.org/mailman/listinfo/l4-hurd
