[okl4-developer] L4.sec status ping

Gernot Heiser gernot at nicta.com.au
Tue Aug 7 23:41:37 CEST 2007

>>>>> On Tue, 7 Aug 2007 17:18:31 -0400, "Jorge Torres" <jorge.torres.maldonado at gmail.com> said:
JT> Hi,
JT> Shouldn't IPC restrictions and such be implemented on top of L4, in some OS
JT> personality?

The policy, yes. The mechanism must be provided by the kernel. This is
exactly what OKL4 does.


More information about the l4-hackers mailing list