Capability-Enabled High-Level Synthesis using CHERI - View it on GitHub