FreeBSD Hardening Project
A set of modifications to the base FreeBSD system that, when applied, allow for a far more secure environment.
www.watson.org/fbsd-hardening
Rio (RAM I/O)
The Rio project is investigating how to implement and use reliable memory.
www.eecs.umich.edu/Rio
TrustedBSD Project
A set of trusted OS extensions, targeting the Common Criteria for Information Technology Security Evaluation (CC).
www.trustedbsd.org
Vinum Volume Manager
A logical volume manager modeled after the VERITAS volume manager.
www.lemis.com/vinum.html