22. Using the core library

Use the certified core library exactly how you’d use the normal core library.

22.1. Required compiler flags

The certified core library requires use of the -C panic=abort compiler flag.

22.2. Building an executable

Follow the Ferrocene rustc docs on how to build an executable.

22.3. Using the certified core library in an existing Rust project

To use the certified core library in an existing project, make sure you’re using only the permitted functions listed in the Core library subset.