Resource Packets
Kernel Design Motivations
Defence Perspective
Notes on Threads
Domains that obey high level languages
Another Perspective on capabilities
The perils of Extraction