Fel4Config is used at run time in 1 crate. It's used at build time in 1 crate.

Depender Fel4Config version
libsel4-sys build ^0.3
cargo-fel4 ^0.3