While I assume there was an official Cray operating system for the Cray-1, in those days it was not unusual for the buyer of such a system to write their own OS, particularly in the DOE/DOD/NSA which is who bought most of them.