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. Building and using procedural macros
10. Floating Points
11. Testing Facades

Compilation targets

12. Compilation targets overview
13. Armv7-R bare-metal (hard-float)
14. Armv7E-M bare-metal (soft-float)
15. Armv7E-M bare-metal (hard-float)
16. Armv8-M Mainline bare-metal (soft-float)
17. Armv8-M Mainline bare-metal (hard-float)
18. Armv8-A bare-metal (hard-float)
19. Apple Silicon macOS
20. x86-64 Linux (glibc)
21. x86-64 Windows

core library

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

rustfmt

27. Installing
28. Using
29. Configuring

flip-link

30. Overview
31. Installing
32. Usage

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-915efad43ba6781884339bfa98b7552aed02fc13

Ferrocene is a registered trademark of Critical Section GmbH.