The DOE ran the Cray Time Sharing System OS instead.
DOEは標準のOSではなく Cray Time Sharing System を採用した。