RISC-V CHERI port

[Conor Dooley]

On Wed, Sep 28, 2022 at 12:54:40PM +0000, Dmitry Kasatkin wrote:
> Hi,
> 
> I would like to inform here that our Cheri Linux for RISC-V work has been open sourced.

That sounds great - but unfortunately I do not know what "Cheri Linux"
is or what the "RISC-V work" entails. Do you maybe have some links to
relevant material that you can share or a brief explanation of the
benefits?

I can only assume it is this? https://github.com/cheri-linux/linux

Is it something you intend upstreaming?

Thanks,
Conor.