On Sun, 18 Jan 1998, Rick Jones wrote: > I think George is talking about the SEUL kernel, not the core kernel. They should be exactly the same, else we defeat the purpose of the core.