CheriBSD: a Capability enabled, Unix-like Operating System that extends #FreeBSD to take advantage of Capability Hardware on Arm’s Morello and CHERI-RISC-V platforms. It implements memory protection and software compartmentalization features. cheribsd.org/