On Tue, 7 Aug 2007 17:18:31 -0400, "Jorge Torres" jorge.torres.maldonado@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.
Gernot