22 Nov
2019
22 Nov
'19
3:11 a.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.