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 .
@david_chisnall @bsdphk
@jmorris
If you are interested to get a free loan of an Arm Morello board, please follow the instructions here: https://cheri-alliance.org/discover-cheri/cheri-products/morello/
@cheri_alliance @david_chisnall @jmorris
What I desire, is to have a CHERI platform in our Continuous Integration in our FOSS project[1].
For that I do not need a full Morello board,
Having a remote account on one, to run a batch-job once per hour would be fine[2].
[1] Vinyl Cache, the FOSS project formerly known as Varnish Cache.
[2] IBM runs a mainframe that way, which is why we know our software works on s390.
@cheri_alliance @david_chisnall @jmorris
...but if you have so many boards you dont know what to do with them, I'll take one.
I promise I'll torture a lot of FOSS code with it 🙂
@bsdphk @cheri_alliance @jmorris
Robert is trying to set up something to do public CI on Morello. We open sourced a thing to manage a cluster of Morello systems as GitHub Actions runners, but I don’t know if anyone has used it ( @nwf wrote it).
@david_chisnall @cheri_alliance @jmorris @nwf
Let me know when you need a tester 🙂
(We're not on github any more, but that's a minor technical detail.)
David Chisnall (*Now with 50% more sarcasm!*)
Poul-Henning Kamp
CHERI Alliance
nwf, Ph.D.