[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: |
Espen Skoglund |
Subject: |
Re: A Framework for Device Drivers in Microkernel Operating Systems |
Date: |
Mon, 15 May 2006 20:33:54 +0200 |
[Tom Bachmann]
>> 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.
In the current API spec/implementation, yes. Are you suggesting that
these problems have never been investigated and are inherently
unsolvable?
eSk
- 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, 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
- 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