Loading...
Please wait, while we are loading the content...
Similar Documents
Capability Hardware Enhanced RISC Instructions: CHERI User’s guide
| Content Provider | Semantic Scholar |
|---|---|
| Author | Watson, Robert N. M. Chisnall, David Davis, Brooks Koszek, Wojciech Moore, Simon W. Murdoch, Steven J. Neumann, Peter G. Woodruff, Jonathan |
| Copyright Year | 2014 |
| Abstract | 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 compiler suite. It also describes the earlier Deimos demonstration microkernel. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.cl.cam.ac.uk/~sjm217/papers/cl14cheriug.pdf |
| Alternate Webpage(s) | http://sec.cs.ucl.ac.uk/users/smurdoch/papers/cl14cheriug.pdf |
| Alternate Webpage(s) | http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-851.pdf |
| Alternate Webpage(s) | https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-851.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |