README.md

Rust Target Specifications for feL4

cargo-fel4 ships with support for the following targets:

• armv7-sel4-fel4
• aarch64-sel4-fel4
• x86_64-sel4-fel4

Using custom target specifications

cargo-fel4 uses standard Rust target specification files, a JSON description of the target provided to the Rust compiler. More information about target specifications can be found on the rust-cross page.

You can use existing target specifications for your target or modify the ones provided here.

Rust will search for target specifications in the directory specified by the environment variable RUST_TARGET_PATH.

cargo-fel4 will construct RUST_TARGET_PATH from the target-specs-path property in a project's fel4.toml manifest, relative to the project's root directory.

See the rust-cross page for more information on cross compiling Rust programs.