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
I am looking for an URL for Hydra, C.mmp (See “Hydra” in
- 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 is by Sun Microsystems and 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 seems to be a manual for 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;
- Local L4 nexus
- Genode, my notes,
- Bromium relies on VM technology.
William Allan Wulf, Hydra C.mmp: An Experimental Computer System,
June 1981 ISBN: 0070721203
This book is out of print and I would appreciate any leads to where
copies can be had.
The following book describes several capability based systems and their
Henry M. Levy, Capability Based Computer Systems, Digital
Juicy History of Windows