I'm happy to announce the TrustedBSD Project, a set of trusted operating system extensions for the FreeBSD operating system. TrustedBSD consists of a set of kernel and user-land extensions targeting the Orange Book B1 evaluation criteria. Trusted operating systems have a variety of requirements above and beyond the normal operating system feature set, including the requirement that they be extensively documented. A web site is now online to act as a central source of information about the project, and as a distribution point for code not yet committed to the FreeBSD source repository.
Further information is available on the web site.