William T Wilson wrote: > > No, a binary kernel and source too. Developers must count on kernel > headers, at the very least, to make their programs worthwhile. The kernel > source isn't used as often, but, I hate to make the kernel dependent on > any sort of nonstandard hacking. I think George is talking about the SEUL kernel, not the core kernel.