OSKit future components
Buffering/caching (IO-Lite?), network mgmt protocols, ...
Secure boot (Penn), filesys (Linux xfer), policy engine
Network components
- access checks at all levels and objects (local node, remote node, interface, routing table, …)
PCC verifier (w/ CMU/Cedilla)