On Sun, Mar 21, 2010 at 1:17 PM, Bas Wijnen <wijnen@debian.org> wrote:

It does need to use the paging hardware, unless it's permanently running
in kernel mode.  Mips has [k]useg from 00000000 to 80000000 in all
modes, which is paged and goes through the tlb.  Only the kernel is able
to access higher addresses, which (partly) access unpaged memory.

Most ports of Inferno do stay in kernel mode all the time.  In fact, it's quite happy on hardware that doesn't have any hardware memory management or different operating modes at all.

BLS