sel4-sys is used at run time in 2 crates.

Depender (with downloads and own rev deps) sel4-sys version
sel4-start ^0.0.28
1 sel4 ^0.0.28