Genesis
Builds on three lines of existing work:
- Fluke Nested Process Model
- Strong OS model with a new protection mechanism: focus on resource control
- Flask security architecture
- Policy-flexible fine-grain mechanisms
- The OSKit
- Reusable low-level components and a framework (COM, APIs)
Other:
- Optimization of Java for systems code
- Network testbed (possibly)