Messages in this thread | | | Date | Wed, 28 Sep 2022 14:00:33 +0100 | From | Conor Dooley <> | Subject | Re: RISC-V CHERI port |
| |
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.
| |