[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: |
Mon, 15 May 2006 20:35:24 +0200 |
User-agent: |
Mail/News 1.5 (X11/20060403) |
-----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-----
- 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, Espen Skoglund, 2006/05/15
- Re: A Framework for Device Drivers in Microkernel Operating Systems,
Tom Bachmann <=
- 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
- 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/15
- Re: A Framework for Device Drivers in Microkernel Operating Systems, William Grim, 2006/05/15
- Re: A Framework for Device Drivers in Microkernel Operating Systems, Tom Bachmann, 2006/05/16
- Re: A Framework for Device Drivers in Microkernel Operating Systems, Espen Skoglund, 2006/05/16