IRQ_REPORTING

sel4_config::consts

Constant IRQ_REPORTING 

Source 
pub const IRQ_REPORTING: bool = true;