It seems like this is a commercial LTS fork of Rust. I hope they contribute funds upstream. Currently with their silver membership in the Rust Foundation it's only $15,000pa
They are also contributing to Rust standardization efforts through the Ferrocene project which aims to create a validated Rust toolchain for safety-critical applications:
4 comments
[ 3.4 ms ] story [ 71.2 ms ] threadhttps://ferrous-systems.com/blog/ferrous-systems-adacore-joi...
Thank you for sharing it.