These are target
suitable for cross-compiling Rust crates to seL4. Copy the JSON files into
RUST_TARGET_PATH (and set that environment to someplace, if you haven't).
For a more comprehensive description of setting up a build environment, see the docs.
Complete for x86. Untested for ARM.