Re: A Framework for Device Drivers in Microkernel Operating Systems

[Tom Bachmann]

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