>>>>> 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. Gernot