diondokter[m]: > <@diondokter:matrix.org> My guess as to what they've really done is:
> 
> 1. Certify a rust compiler for Cortex-r
> 2. Create some Rust bindings into their RTOS
> 3. Not much more. You can now run Rust applications on their C platform
> 
> But that's just a guess! (Based on their presentation from last year)

I think they have a webpage, explaining precisely this.