CheriBSD: FreeBSD for CHERI-enabled platforms
CheriBSD is 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. CheriBSD implements memory protection and software compartmentalization features, and is developed by SRI International and the University of Cambridge. ↫ CheriBSD website This obviously raises the question – what exactly is CHERI? The FreeBSD Foundation has an article about t … ⌘ Read more