KeyKos and its ilk
KeyKos Architecture” is a paper that appeared in the October 1985 Operating
Systems Review. It is a high density introduction to the architecture of
Here is perhaps the
most complete collection of papers about Keykos.
Here are yet
The Keykos programming manual is
A Hydra book: William Allan Wulf, Hydra C.mmp: An Experimental Computer System,
- Hydra served Keykos as an early cap intro.
- 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.
- Mach at CMU;
- 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.
- While Multics was
not a capability based system, KeyKos took many ideas from Multics.
- Butler Lampson’s Reflections on an Operating System Design
- This is about the AS/400, nee System 38.
- Security Enhanced Linux
from NSA aspires to high security.
- Capabilities ‘added’ to Linux?
- NLTSS at Livermore
- 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
- Genode, my notes,
- Bromium relies on VM technology.
- New info on Midori
- Magenta from Google
June 1981 ISBN: 0070721203
The following book describes several capability based systems and their
Henry M. Levy, Capability Based Computer Systems, Digital
Juicy History of Windows