> so, here's a silghtly controversial (maybe) suggestion. Maybe my > memory is wrong, but i believe the vx32 kernel is gcc-compiled. There > is gcc for this CPU. It might be easier to start from the vx32 kernel > and gcc to target this machine, rather than do a 64-bit MIPS port of > the plan 9 C compiler. Or not: a few of the folks on this list could > probably retarget in very short order (I'm not one of the,however).
vx32 relies on x86 segment registers. - erik