Description: Distributed Trusted OS; Mach-based microkernel. Goal: show feasibility of including strong security mechanisms without sacrificing other desirable features; NSA funded as part of broad program encouraging strong, flexible security controls in next generation OSs.