2. Qualification Scope¶

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

The Rust compiler, rustc, links to the libraries alloc, core, and std. 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 certify these libraries if they are used in their code.

A subset of the core library is certified for use in end-use code. See Core Library Certification.

The proc_macro library is qualified for use in end-use proc-macro crates. It is qualified and not certified because it must only be used during compilation and not execution of a program.