Modules

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