* RISC-V CHERI port
@ 2022-09-28 12:54 Dmitry Kasatkin
2022-09-28 13:00 ` Conor Dooley
2022-09-28 13:04 ` Dmitry Kasatkin
0 siblings, 2 replies; 3+ messages in thread
From: Dmitry Kasatkin @ 2022-09-28 12:54 UTC (permalink / raw)
To: cl-cheri-discuss@lists.cam.ac.uk, linux-riscv@lists.infradead.org,
cl-cheribsd-discuss@lists.cam.ac.uk
Cc: Wang Kui, Jan Erik Ekberg, Horsch, Julian, Auer, Lukas,
Ahlrichs, Vincent, linux-kernel@vger.kernel.org
Hi,
I would like to inform here that our Cheri Linux for RISC-V work has been open sourced.
BR,
Dmitry
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: RISC-V CHERI port
2022-09-28 12:54 RISC-V CHERI port Dmitry Kasatkin
@ 2022-09-28 13:00 ` Conor Dooley
2022-09-28 13:04 ` Dmitry Kasatkin
1 sibling, 0 replies; 3+ messages in thread
From: Conor Dooley @ 2022-09-28 13:00 UTC (permalink / raw)
To: Dmitry Kasatkin
Cc: cl-cheri-discuss@lists.cam.ac.uk, linux-riscv@lists.infradead.org,
cl-cheribsd-discuss@lists.cam.ac.uk, Wang Kui, Jan Erik Ekberg,
Horsch, Julian, Auer, Lukas, Ahlrichs, Vincent,
linux-kernel@vger.kernel.org
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.
^ permalink raw reply [flat|nested] 3+ messages in thread
* RISC-V CHERI port
2022-09-28 12:54 RISC-V CHERI port Dmitry Kasatkin
2022-09-28 13:00 ` Conor Dooley
@ 2022-09-28 13:04 ` Dmitry Kasatkin
1 sibling, 0 replies; 3+ messages in thread
From: Dmitry Kasatkin @ 2022-09-28 13:04 UTC (permalink / raw)
To: cl-cheri-discuss@lists.cam.ac.uk, linux-riscv@lists.infradead.org,
cl-cheribsd-discuss@lists.cam.ac.uk
Cc: Wang Kui, Jan Erik Ekberg, Horsch, Julian, Auer, Lukas,
Ahlrichs, Vincent, linux-kernel@vger.kernel.org
Hi,
I would like to inform here that our work on CHERI support for Linux on RISC-V has been open sourced on GitHub:
https://github.com/cheri-linux
Information about CHERI can be found here:
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri
The work has been done by Huawei and Fraunhofer with the great support from Cambridge University.
BR,
Dmitry
PS. sorry for first email. I press "ctrl-enter" by mistate :)
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2022-09-28 13:04 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2022-09-28 12:54 RISC-V CHERI port Dmitry Kasatkin
2022-09-28 13:00 ` Conor Dooley
2022-09-28 13:04 ` Dmitry Kasatkin
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox