7 Aug
2007
7 Aug
'07
11:41 p.m.
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