sel4_config::consts

Constant IRQ_PIC

Source
pub const IRQ_PIC: bool = false;