DEBUG_BUILD

sel4_config::consts

Constant DEBUG_BUILD 

Source 
pub const DEBUG_BUILD: bool = true;