L4, High Assurance, and Protection
haertig at os.inf.tu-dresden.de
Tue Jan 6 15:47:26 CET 2004
Volkmar Uhlig wrote:
>>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."
JS:"performance cannot be used to justify fundamental insecurity"
More information about the l4-hackers