I'm looking for a reference to any Unix ports where the kernel ran in a non-paged address space and user mode was paged. I could swear this was done at some point, and memory says it was on a soft-TLB system like the MIPS, to avoid TLB pollution and TLB fault overhead. But maybe I'm nuts. I am happy to hear either answer.