Re: A Framework for Device Drivers in Microkernel Operating Systems

[Espen Skoglund]

[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