Ferrocene compiler

Ferrocene is a qualified Rust toolchain used for safety- and mission-critical systems. RustRover supports the Ferrocene toolchain, allowing you to use it in place of the standard one.

Before you begin

Make sure you have Rustup installed. You can check that by running rustup --version.
Install CriticalUp, the Ferrocene toolchain manager. For detailed instructions, see Installing CriticalUp.
Add a Ferrocene toolchain by running:
criticalup link create
To check the result, run:
rustup toolchain list
The displayed list should mention the Ferrocene toolchain.

Enable the ferrocene toolchain in RustRover

Check whether your project includes criticalup.toml, a manifest file required for project configuration. If not:
1. Add a criticalup.toml file to your project by running:
  criticalup init --release stable-26.02.0
2. Download all the libraries required for the given Ferrocene version:
  criticalup install
To switch from the default toolchain to Ferrocene run:
rustup default ferrocene
Make sure criticalup.toml lists rust-src among packages. If not, you can add it to the list by clicking the Add rust-src to criticalup.toml link in the Build tool window.

20 July 2026