Getting Started with GCC-ERC32: C/C++ Compilation System for Mission Critical Spacecraft Applications
PrevAppendix B. ERC32 Assembler Options and DirectivesNext

B.3. Floating Point

The ERC32 uses IEEE floating-point numbers.

PrevHomeNext
Enforcing aligned dataUpERC32 Machine Directives