They have ported FreeBSD to CHERI to have a real world system demonstrate all the features. This includes existing applications to show the tradeoffs between hybrid mode and full use of capabilities.
Interestingly, there is a section in their specification describing a short overview of how it could be applied to RISC-V.
There is a RISC-V section as we (I work on CHERI) are interested in making sure it's a portable model. There's no point creating this if we can only ever use it on MIPS.
Interestingly, there is a section in their specification describing a short overview of how it could be applied to RISC-V.