Ferrocene Documentation › User Manual

This is a preview from our development branch. It might be incomplete or inaccurate. Documentation access for customers »

User Manual

Toggle navigation

About this manual

1. Overview

rustc

2. System Requirements
3. Installing Ferrocene
4. File formats
5. Building a library
6. Building an executable
7. Building mixed-language programs
8. Performing system calls
9. Testing Facades

Compilation targets

10. Compilation targets overview
11. Armv7E-M bare-metal (soft-float)
12. Armv7E-M bare-metal (hard-float)
13. Armv8-A bare-metal
14. Armv8-A QNX® Neutrino® 7.1.0
15. Apple Silicon macOS
16. x86-64 Linux (glibc)
17. x86-64 QNX® Neutrino® 7.1.0
18. x86-64 Windows

core library

19. Core library overview
20. Core library system requirements
21. Installing the core library
22. Using the core library
23. Testing with the certified core library

rustfmt

24. Installing
25. Using
26. Configuring

Reference

A. CriticalUp
B. rustc Command-Line Interface
C. rustfmt Command-Line Interface
D. Ferrocene Self-test Error Codes
E. Terms, Definitions, and Abbreviations

21. Installing the core library¶

The core library is installed as part of the Ferrocene toolchain. Follow the Ferrocene installation instructions.

Copyright © The Ferrocene Developers.

Document ID: UM-eeefa9e37030a7a8cd8ad4e593c92596ebb0bc52

Ferrocene is a registered trademark of Critical Section GmbH.