KeyKos and its ilk
“The
KeyKos Architecture” is a paper that appeared in the October 1985 Operating
Systems Review. It is a high density introduction to the architecture of
KeyKos.
Here is perhaps the
most complete collection of papers about Keykos.
Here are yet
more.
The Keykos programming manual is
here.
- 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.
A comparison
-
SpeedOS
- Mach at CMU;
- The Hurd (Linux on Mach)
- Flask;
The second paragraph of
this
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,
“A Password-Capability
System”,
The Computer Journal, Vol. 29, No 1, 1986.
Walnut;
Also Password-Capabilities: Their Evolution from the Password-Capability System into Walnut and Beyond
-
PSOS
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.
- Mungi
- 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
- Stanford Work
- Backwater
- Annex
- Android has aspects of capabilities, but too much like Unix capabilities.
Leaks?
- Singularity: Rethinking the Software Stack from Microsoft and note;
xx
- Minix 3;
Not capabilities.
Kernel API
- Local L4 nexus
- SAFE
- Capsicum,
my notes
- Genode
I am looking for an URL for Hydra, C.mmp (See “Hydra” in
here.)
William Allan Wulf, Hydra C.mmp: An Experimental Computer System,
McGraw Hill,
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
software.
Henry M. Levy, Capability Based Computer Systems, Digital
Press, 1984.
Juicy History of Windows