KSOS Final Report (Kernelized Secure Operating System).

This document, the Kernelized Secure Operating System (KSOS) Final Report, describes work performed by Ford Aerospace and Communications Corporation (FACC) and its subcontractor SRI International. The work was funded by various DoD agencies. It contains a description of the goals, evolution, and results of the KSOS program, an introduction to the structure of KSOS, a description of the approach, an exposition of the accomplishments, and a review of experience gained from participation in the program.