toc.html

CHERI Roadmap for Linux

1. Introduction
2. Goals
   • 2.1. Toolchain
   • 2.2. Emulation and crossbuild platforms
   • 2.3. Kernel support
   • 2.4. Bootloaders and firmware
   • 2.5. User space support
   • 2.6. Linux distributions
   • 2.7. Testing
3. Prior Work on Linux adaptation
4. Technical Reports
5. Selected CHERI research papers