HighTec Rust Compiler Development Platform is now ISO 26262 qualified
In summary, this compiler is a closed-source fork where HighTec has added support for the TriCore architecture, which is used in Infineon AURIX boards. It is based on Rust 1.72.0 and specifically targets Infineon AURIX boards, primarily utilized in the automotive industry. For more details, refer to:
https://hightec-rt.com/en/rust
https://www.infineon.com/cms/en/about-infineon/press/market-news/2024/INFATV202404-089.html
PS: I am a developer working at HighTec and will try to answer any questions you may have.