A trusted computer system that offers Linux.RTM. compatibility and
supports contemporary hardware speeds. It is designed to require no
porting of common applications which run on Linux, to be easy to develop
for, and to allow the use of a wide variety of modern development tools.
The system is further designed to meet or exceed the Common Criteria
EAL-5 or higher rating through incorporation of required security
features, as well as a very high level of assurance for handling data at
a wide range of sensitivity (e.g., classification) levels in a wide range
of operational environments. This is achieved through the implementation
of a well-layered operating system which has been designed from the
ground up to enforce security, but which also supports Linux operating
system functions and methods.