We’re glad to announce the release of Ferrocene 25.02.0, the latest update to our qualified Rust toolchain. This version includes new Rust improvements and five new experimental targets.
Ferrocene is the first fully open-source Rust compiler toolchain qualified for safety- and mission-critical systems. It is qualified ISO 26262 (TCL 3/ASIL D), IEC 61508 (T3/SIL 4) and IEC 62304 (Class C) with TÜV SÜV.
Developed as a downstream Rust distribution, Ferrocene is 100% compatible with the main Rust compiler, allowing you to work seamlessly with both the compiler distributed by the Rust project and the Ferrocene toolchain.
What is new in Ferrocene 25.02.0
Ferrocene 25.02.0 includes changes from Rust 1.82 and 1.83, which allow more flexibility in const
context, a native way to create raw pointers, safe items in unsafe extern blocks, new capturing
use<...> syntax, and more!
In addition, we added experimental support for five targets:
- Armv6-M bare-metal (
thumbv6m-none-eabi) - Armv8-M Baseline bare-metal (
thumbv8m.base-none-eabi) - Armv8-M Mainline bare-metal (soft-float) (
thumbv8m.main-none-eabi) - Armv8-M Mainline bare-metal (hard-float) (
thumbv8m.main-none-eabihf) - RV64GC Linux (glibc) (
riscv64gc-unknown-linux-gnu)
Note that those targets are not yet qualified for safety critical use, but can be upon request.
We've also improved our Known Problems tool! Customers can now access a list of known problems, as well as any fixed problems, for each release.
This release reaffirms our commitment to provide recent Rust compilers to the safety critical world. Rust 1.83 was released on November 28, 2024 and Ferrocene customers can adopt those changes less than three months later.
Read the full release notes.
Available for purchase today!
With Ferrocene, users can develop high-assurance software from the start, without a massive upfront investment. Ferrocene is available for purchase today for €25/month or €240/year per user, providing access to all supported versions of Ferrocene (current and future) along with basic support.
Go to ferrocene.dev to purchase Ferrocene, or contact sales for more information on custom enterprise subscriptions.
Not sure if Ferrocene has the features you and your team need? You can also schedule a Why Ferrocene session by reaching out to our sales team.
