Conversation

Notices

1. Embed this notice
   David Chisnall (*Now with 50% more sarcasm!*) (david_chisnall@infosec.exchange)'s status on Sunday, 22-Mar-2026 02:48:59 JST David Chisnall (*Now with 50% more sarcasm!*)

   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.

   #Rust #CHERI #CHERIoT #CHERIBlossoms

   • James Morris likes this.
   • Embed this notice
     James Morris (jmorris@social.kernel.org)'s status on Sunday, 22-Mar-2026 02:55:26 JST James Morris

     in reply to

     • Poul-Henning Kamp
     • CHERI Alliance
     @david_chisnall @bsdphk @cheri_alliance you can order a Sonata board on Mouser?
   • Embed this notice
     David Chisnall (*Now with 50% more sarcasm!*) (david_chisnall@infosec.exchange)'s status on Sunday, 22-Mar-2026 02:55:27 JST David Chisnall (*Now with 50% more sarcasm!*)

     in reply to

     • Poul-Henning Kamp
     • CHERI Alliance

     @bsdphk

     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 .

   • Embed this notice
     Poul-Henning Kamp (bsdphk@fosstodon.org)'s status on Sunday, 22-Mar-2026 02:55:28 JST Poul-Henning Kamp

     in reply to

     @david_chisnall

     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)

   • Embed this notice
     nwf, Ph.D. (nwf@mastodon.sdf.org)'s status on Friday, 27-Mar-2026 05:18:30 JST nwf, Ph.D.

     in reply to

     • James Morris
     • Poul-Henning Kamp
     • CHERI Alliance

     @david_chisnall @bsdphk @cheri_alliance @jmorris Specifically, https://github.com/microsoft/msr-morello-automation

     James Morris likes this.
   • Embed this notice
     David Chisnall (*Now with 50% more sarcasm!*) (david_chisnall@infosec.exchange)'s status on Friday, 27-Mar-2026 05:18:31 JST David Chisnall (*Now with 50% more sarcasm!*)

     in reply to

     • James Morris
     • Poul-Henning Kamp
     • CHERI Alliance
     • nwf, Ph.D.

     @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).

   • Embed this notice
     Poul-Henning Kamp (bsdphk@fosstodon.org)'s status on Friday, 27-Mar-2026 05:18:32 JST Poul-Henning Kamp

     in reply to

     • James Morris
     • CHERI Alliance

     @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.

   • Embed this notice
     Poul-Henning Kamp (bsdphk@fosstodon.org)'s status on Friday, 27-Mar-2026 05:18:32 JST Poul-Henning Kamp

     in reply to

     • James Morris
     • CHERI Alliance

     @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 🙂

   • Embed this notice
     CHERI Alliance (cheri_alliance@infosec.exchange)'s status on Friday, 27-Mar-2026 05:18:33 JST CHERI Alliance

     in reply to

     • James Morris
     • Poul-Henning Kamp

     @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/

     James Morris likes this.