sel4_config::consts

Constant LIB_SEL4_PRINT_INVOCATION_ERRORS

Source 
pub const LIB_SEL4_PRINT_INVOCATION_ERRORS: &str = "0";