Get a CVS Kernel from oss.sgi.com They worked for me. Sorry, i don't have the exact url ready. Greetings, Erich