Today I want to speak of a cap savvy OS and how it relates to language design.
There are at least two motivations:
- These are two areas that have adopted cap ideas and maps between them stimulate useful ideas.
- Most computers employ an OS and many believe that a cap OS is the only hope for a secure OS, which is critical to just about any computer security.
Actually I want to describe a cap system built on conventional Hardware preserving most conventional software.
My goal is convince you that:
Actually that’s too much to ask but perhaps I can convince you that it may be possible and thus worth further study.
I will talk about the Keykos OS mostly because I am familiar with it.
There are a few others as well—some recent.
- It is feasible (one need not boil the ocean),
- Such security is necessary for many of the goals of this meeting,
- It would be a nice neighborhood.
I consider this a wonderful opportunity to start conversations: firstname.lastname@example.org .
What I plan to say today, and much more is at:
What are Caps and Objects?
Space and Time
The anatomy of a proposed system which has been partly built
Less is More
Virtual Reality for aliens
New kernel like Patterns
Conventional Cap Hardware?
Blunt talk and bold claims, and much of the mass of this talk.
Harping on Extant Systems
One ring to rule them all