21 Nov
2019
21 Nov
'19
9:11 p.m.
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.