sel4_config::consts

Constant DANGEROUS_CODE_INJECTION

Source 
pub const DANGEROUS_CODE_INJECTION: bool = false;