We’ll be talking more about the progress on the CHERIoT port of Rust at CHERI Blossoms next week, but here’s a teaser:
The embedded graphics crate rendering an image on Sonata. This currently using a (memory-safe) C function to draw pixels (that can go away with a little bit more work) but the current compiler is able to build this crate and run it in a CHERIoT compartment.
What are the prospects of getting access to developer hardware ?
I wouldn't mind having a CHERI platform in the CI cluster for Vinyl Cache (The FOSS project formerly known as Varnish Cache)
I guess you’d need an application core for that? Our first chips are microcontrollers and we’ll be entering mass production for those later in the year. You can run the cores on fairly cheap FPGAs today.
Codasip’s X730 core is an application-class core roughly comparable to a Cortex-A55. It is available to license today and they have an EU project to build chips for supercomputers based on it.
There are also some Morello systems still available via the @cheri_alliance .
@jmorris @bsdphk @cheri_alliance
Yup. Microsoft also maintains builds for the Arty A7
David Chisnall (*Now with 50% more sarcasm!*)
Poul-Henning Kamp
James Morris
datarama
🇺🇦 haxadecimal 🚫👑