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

Copyright © The Ferrocene Developers.

Document ID: UM-c2bb57fc39e4c429d1692b0306c042da98ac59e5

Ferrocene is a registered trademark of Critical Section GmbH.