Constant sel4_config::consts::DEBUG_BUILD

pub const DEBUG_BUILD: bool = true;