Constant sel4_config::consts::KERNEL_INVOCATION_REPORT_ERROR_IPC

pub const KERNEL_INVOCATION_REPORT_ERROR_IPC: bool = false;