Re: [TUHS] PDP-11 MMU (was: 68000 vs. 8086)