FreeBSD Projects at watson.org
This page is very preliminary. You are probably interested in...
FreeBSD Hardening Project
Experimental Kernel Tokens for Authorization and Authentication
POSIX.1e Implementation for FreeBSD
Kernel-Supported Speculative Process Execution for Transparent File System Prefetching
Hardware support patches for FreeBSD