CheriBSD extends FreeBSD with added CHERI-enabled features, such as kernel and userspace memory safety:
- Kernel compilation modes
- Process environments
- CheriABI desktop environment (experimental)
- Userlevel heap temporal memory safety (experimental)
- Userlevel software compartmentalization (experimental)
- bhyve hypervisor (experimental)
Some of these features are in the main CheriBSD branch; other experimental features remain on development branches.