Crate selfe_config 

Modules

build_helpers

Functions that can be called from build.rs, for when libraries need access to the sel4 configuration

compilation

model