KERNEL_INVOCATION_REPORT_ERROR_IPC
sel4_
config
0.1.0
In sel4_
config::
consts
sel4_config
::
consts
Constant
KERNEL_
INVOCATION_
REPORT_
ERROR_
IPC
Copy item path
Source
pub const KERNEL_INVOCATION_REPORT_ERROR_IPC: bool = false;