Lib.rs

› seL4 › Features

Cargo Features

seL4 has no features set by default.

[dependencies]
sel4 = { version = "0.0.12", features = ["unstable"] }
unstable

seL4 has 1 feature without comment.