These issues bear on implementation of both classic and capability systems.
Layered Abstractions
Thoughts on Routing Protocols
Mapping Privileged Code
Capabilities
as enforced modularity