sel4_config::consts

Constant KERNEL_INVOCATION_REPORT_ERROR_IPC

Source
pub const KERNEL_INVOCATION_REPORT_ERROR_IPC: bool = false;