2. Qualification Scope¶

The Ferrocene qualification encompasses the qualification of the Rust toolchain’s functionality as identified in the Ferrocene User Manual and the Ferrocene Language Specification

The Rust compiler, rustc, links to libraries liballoc, libcore, and libstd. These libraries are evaluated and tested within the scope of Ferrocene qualification for compiler use only. The use of these libraries by end-use code is outside the scope of the current Ferrocene qualification. It is the end-user responsibility to qualify these libraries if they are used in their code.

Qualified tools are:

• rustc

• rustfmt

Other development tools are not qualified and are distributed for convenience only. This includes but is not limited to:

• cargo

• cargo-clippy

• rust-analyzer

• rust-gdb

• rustdoc

• the various llvm tools (example being llvm-objcopy)