What SHOULD go in the kernel

[Peter da Silva]

In article <17166 at rpp386.cactus.org> jfh at rpp386.cactus.org (John F. Haugh II) writes:
> I don't have trouble with the first part, but discouraging paging
> the kernel is kinda wasteful the way kernels keep bloating.

So redefine what the "kernel" is, like Mach does.
-- 
Peter da Silva, *NIX support guy @ Ferranti International Controls Corporation.
Biz: peter at ficc.uu.net, +1 713 274 5180. Fun: peter at sugar.hackercorp.com. `-_-'
"You can tell when a USENET discussion is getting old when one of the      'U`
 participants drags out Hitler and the Nazis" -- Richard Sexton