>> NCD's docs show the HMX to be a MIPS R4600 @ 100Mhz and the pro at 133 Mhz.
>
> But you're right, there are other places on the net too where it is
> claimed the R4600 is the processor....

I remember HMX unit was actually shipped with R4700 processor.  As long as
my volatile memory serves correctly, there was no inditication NCD used
TLB-less R4650s.

Tohru Nishimura