Did they actually deploy GNOSIS at Tymshare? I hadn't heard that. I thought that the reason they spun out Key Logic was that Norm hadn't convinced Tymshare management to deploy GNOSIS.

For example, in https://conservancy.umn.edu/server/api/core/bitstreams/a39e5... p. 37, he says:

> That was their [Derwent's] idea. I thought it was very clever and we realized that we couldn’t do it with our current software but that software like that could be written. And KeyKOS was the outcome of that. Tymshare and another company, Key Logic, did not succeed in making that commercial. It would’ve been a high security system with novel features.

Later in the interview, he says Tymshare timesharing on the 370 (the IBM machine) started out on VM/CMS.

If you have conflicting information, I'd love to see it!