L4, High Assurance, and Protection

Hermann Härtig haertig at os.inf.tu-dresden.de
Tue Jan 6 15:47:26 CET 2004


Volkmar Uhlig wrote:
>>-----Original Message-----
>>From: Hermann Härtig [mailto:haertig at os.inf.tu-dresden.de] 
>>Sent: Tuesday, January 06, 2004 11:07 AM
>>
>>BTW, the perception that Jochen Liedtke considered speed to dominate 
>>everything else (see some earlier email) is simply rubbish. 
>>Jonathan's statement "that performance cannot be used to justify 
>>fundamental insecurity" could as well originate from Jochen Liedtke.

> Since you referred to Jochen here a quote from "Improving IPC by kernel design":
> 	"IPC performance is the Master.  Anything which may lead to higher IPC performance has to be discussed. In case of doubt, decisions in favor of IPC have to be taken. But the performance and security qualities of other components must not be seriously impacted."

No contradiction at all between

JL: "security qualities of other components must not be seriously impacted."
and
JS:"performance cannot be used to justify fundamental insecurity"

--hermann





More information about the l4-hackers mailing list