Here are a few IRIXDiVX related pages:
SGI Homepage
SGI Freeware
Nekochan Net
Rootprompt
The SGI Community Resource