Capability Hardware Enhanced RISC Instructions: CHERI User's guide [report]

Robert N.M. Watson, David Chisnall, Brooks Davis, Wojciech Koszek, Simon W. Moore, Steven J. Murdoch, Peter G. Neumann, Jonathan Woodruff
The CHERI User's Guide documents the software environment for the Capability Hardware Enhanced RISC Instructions (CHERI) prototype developed by SRI International and the University of Cambridge. The User's Guide is targeted at hardware and software developers working with capability-enhanced software. It describes the CheriBSD operating system, a version of the FreeBSD operating system that has been adapted to support userspace capability systems via the CHERI ISA, and the CHERI Clang/LLVM
more » ... ler suite. It also describes the earlier Deimos demonstration microkernel.
doi:10.48456/tr-851 fatcat:e3u4gcepfvc5rl7nv3cmka5cum