Fewer than 5 people recommend it so far, so there's no written verdict. Here is what commenters said.

3recommend
0warn against
Dec 14, 2025first mention
Jul 19, 2026latest mention
Nov 25 – Oct 26
Used forcapability-based operating systemsingle-level store os example

Why people recommend it

“solved computer security about 40 years ago[2]”

“KeyKOS solved this issue in the 1970s.”

Show 1 more

“I find the emphasis on minimizing process and kernel state”

Caveats and dissent

No one in these comments warned against it.

All comments 5

“KeyKOS is an example of this and you can read papers about it and its Unix emulation layer.”

“solved computer security about 40 years ago[2]”

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/a39e58bc-2e03-4a34-9a5e-7bd138835809/content 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

“KeyKOS solved this issue in the 1970s.”

“I find the emphasis on minimizing process and kernel state”

Threads where it came up

Data: keykos.json. Quotes are verbatim; the verdict and theme labels are written by a model from these comments, and every clause links to its sources.

Keyboard shortcuts
j / kNext / previous item
o or EnterOpen selected item
/Search
g hHome
g tTop
g rRising
g cCategories
tToggle dark mode
?This help