23. Using the core library¶
Use the certified core library exactly how you’d use the normal core library.
23.1. Required compiler flags¶
The certified core library requires use of the -C panic=abort compiler flag.
It also requires compiling using a target with a certified core runtime.
Refer to Certified core library.
23.2. Building an executable¶
Follow the Ferrocene rustc docs on how to build an executable.
23.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 according to Certified subset.