## fel4.toml
An example fel4 manifest that could be used to configure
the build of libsel4-sys. See the [fel4-config repository](https://github.com/PolySync/fel4-config)
for more information about the fel4 manifest format.

## feL4-targets JSON files
Example Rust target specifications for feL4.
Note that these are for reference only, and the primary source of truth
for supported target specifications can be found in the
[cargo-fel4 repository](https://github.com/PolySync/cargo-fel4).