Overview
Compiler and language work determines how source-level pointers, native interfaces, bounds, permissions, and calling conventions reach a CHERI target.
See /software/freebsd/.
Operating-system support preserves capability state through processes, virtual memory, system calls, executable loading, drivers, faults, and user space.
Capability-aware diagnostics and public project information show how individual software environments represent, preserve, and report CHERI state.