sel4_config::consts

Constant DEBUG_BUILD

Source 
pub const DEBUG_BUILD: bool = true;