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. Floating Points
10. Testing Facades

Compilation targets

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

core library

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

rustfmt

25. Installing
26. Using
27. 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

Copyright © The Ferrocene Developers.

Document ID: UM-6a98e7ebd40ab83ce2ecd7c06bdb2c9e4fe040b4

Ferrocene is a registered trademark of Critical Section GmbH.