Constant sel4_config::consts::LIB_SEL4_PRINT_INVOCATION_ERRORS

pub const LIB_SEL4_PRINT_INVOCATION_ERRORS: &str = "0";