Normalerweise sollte das mit der IRIX Overlay 1/4 gehen, also jedenfalls die CD, mit der du auch booten würdest, wenn du IRIX neu installieren willst.
Das ISO kriegst du glaube mit einen kostenlosen Support Account. (zwar nicht das aktuellste, aber zum Passwort zurücksetzen reicht es)
Der Nachteil ist: wenn du das ISO einfach so auf eine CD backst, ist die CD nicht bootbar. Wie man aus einen ISO eine bootbare CD erstellt? Keine Ahnung, vielleicht findet da Google was.
marty