I'd certainly suggest you use a different kernel.  Uh, I think there's a
.82 kernel kicking around on ftp.linux.sgi.com.  If not, I'll make sure
there is.

  I'm using pre-compiled .72 kernel in
ftp://ftp.linux.sgi.com/pub/test, which is working fine on my
Irix box. However I couldn't find .82.

  BTW, How can I get the kernel source for Linux/SGI? Do I need
to get from CVS tree?  I tried to compile the source .72 but, at
least, include/asm-mips is not synchronized.

-Masashi Sasahara