Mastodawn

David Chisnall (*Now with 50% more sarcasm!*)2d ago

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

David Chisnall (*Now with 50% more sarcasm!*)Mar 12

Me? Trolling the other microcontroller vendors? Surely not! Maybe if they had bothered to do something about the most common source of vulnerabilities at some point in the last few decades, the could have been on the other side of the sign...

#CHERI #CHERIoT #SeriouslyFolksItsBeen40Years

David Chisnall (*Now with 50% more sarcasm!*)Mar 9

Yay, we won a Best in Show Award at #EmbeddedWorld ! In the Microcontrollers, Microprocessors, and IP category for our ICENI #CHERIoT chips!

#CHERI

David Chisnall (*Now with 50% more sarcasm!*)Mar 4

The PQCA has published a blog by me about using their ML-KEM and ML-DSA libraries on CHERIoT

#PQC #CHERIoT #CHERI

mlkem-native and mldsa-native in CHERIoT – Post-Quantum Cryptography Alliance

jona 🔜 EH23 Mar 4

Already really looking forward to visiting the #CHERI / #CHERIoT stand at Embedded World next week - especially now that they've got their first silicon!

David Chisnall (*Now with 50% more sarcasm!*)Mar 4

First Post! Uh, I mean, First CHERIoT Silicon!

We have our first chips back! It is very exciting! Spatial and temporal memory safety, fine-grained compartmentalisation, and also a load of other big chips on a board, so you can play 'Where's ICENI?' on the board picture!

#CHERI #CHERIoT