[yababa_y]

Check out the requirements in AUTOSAR and MISRA, it’s more than just certifying some golden toolchain.

Although Ferrocene is working on that as well :) https://ferrocene.dev/en/

[estebank]

You might also want to check out this comparison of MISRA's rules against idiomatic Rust code: https://github.com/PolySync/misra-rust/blob/master/MISRA-Rul...

[carlmr]

Vector has AUTOSAR with Rust modules using a certified compiler now:

https://www.vector.com/int/en/news/news/safety-applications-...