3.1. Installing Prerequisites¶

See User Manual - System requirements for the detailed installation prerequisites for Ferrocene.

3.2. Installing Ferrocene¶

See User Manual - Installation for the detailed installation procedure for Ferrocene.

3.3. Installation Validation¶

Ferrocene provides a checker called ferrocene-self-test (see Ferrocene - Validation for details), for verifying the installation of the toolchain in a non-certification context.

This tool is not qualified. Consequently, in certification context, the following manual checks must be performed as per the User Exported Constraints:

• the tarballs were extracted correctly, and permissions were preserved

• only one version of Ferrocene is installed in the same directory, no duplicate versions or in-place updates

• the used linker driver should be valid according to the description in the Linker Options