The second one was for a demo at an ESA symposium about rust in space, so it‘s not directly related to the certification.

I forgot to add the relevant blog post where Jonathan writes about that change https://ferrous-systems.com/blog/rust-for-mission-critical-a...

Ah ha! Thanks :)

I mean, it’s definitely indirectly related to the entire certification thingy. After all, we do want to see rust code in space. That what kicked off that whole idea :)