seL4 is used at run time in 1 crate.

Depender seL4 version
sel4-start ^0.0.12