TrustedBSD

A Unix-like OS of the BSD family which provides a set of trusted operating system extensions to the FreeBSD operating system, targeting the Common Criteria for Information Technology Security Evaluation (CC).