blstuart at gmail.com
Sun Mar 21 14:29:53 EDT 2010
On Sun, Mar 21, 2010 at 1:17 PM, Bas Wijnen <wijnen at 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.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the discussion