- Allison Randal (Capabilities Limited)
- Hesham Almatary (Capabilities Limited)
- Kevin Brodsky (Arm Limited)
- Jessica Clarke (University of Cambridge)
- Brooks Davis (Capabilities Limited)
- Vincenzo Frascino (Arm Limited)
- Ben Laurie (Google)
- Alex Richardson (Google)
- Carl Shaw (Codasip)
- Robert N. M. Watson (Capabilities Limited and University of Cambridge)
This roadmap was developed by the CHERI Alliance Linux Strategy working group, outlining a path toward unified Linux support for CHERI hardware.
This is a living document; feedback and contributions are welcomed. Please see our GitHub Repository for source code and an issue tracker. There is a rendered version on the web, which is automatically updated when the git repository is committed to.
Building the book from the Markdown sources requires
mdBook. Once installed, mdbook build
will build the static HTML files in the book/ directory, whilst mdbook serve will build and serve them at http://localhost:3000. Please refer to
the mdBook documentation for futher options.