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.