Other Capability Operating Systems
Systems from which Keykos took ideas:
We should have known about Dennis & vanHorn on the PDP-1 but didn’t.
A Hydra book: William Allan Wulf, Hydra C.mmp: An Experimental Computer System,
- Eros is a system inspired by KeyKos, like it in many ways but with significant differences.
- Capros continues Eros.
- Coyotos spun off from EROS and partly changed directions.
- The Hurd (Linux on Mach)
The second paragraph of
may characterize the departure point of Flask from our perspective.
- Grasshopper, too
(emphasis on persistence)
Spring, by Sun Microsystems, is much different from KeyKos.
- We refer to this as the Monash System:
M. Anderson, R. D. Pose and C. S. Wallace,
The Computer Journal, Vol. 29, No 1, 1986.
Also Password-Capabilities: Their Evolution from the Password-Capability System into Walnut and Beyond
is a capability based OS design with careful attention to theory.
- This is about the AS/400, nee System 38, now IBM i.
- Security Enhanced Linux
from NSA aspires to high security.
- Capabilities ‘added’ to Linux?
- TRIX at MIT (docs and source) as related by Stallman
- Android has aspects of capabilities, but too much like Unix capabilities.
- Singularity: Rethinking the Software Stack from Microsoft and note;
- Minix 3;
- My L4 nexus
- Bromium relies on VM technology.
- New info on Midori
- Magenta from Google
June 1981 ISBN: 0070721203
The following book describes several capability oriented hardware systems and their
Henry M. Levy, Capability Based Computer Systems, Digital
Juicy History of Windows