Hello, Is there a Linux kernel for the R5000 IP32? I would like to get involved. I've successfully configured this SGI O2 to boot the available R4000 IP22 kernel so I'm ready to go with IP32 if someone would be so kind as to point me to an existing kernel. Thank you, Clarence Donath
