sel4_config::consts

Constant KERNEL_IRQ_CONTROLLER

Source
pub const KERNEL_IRQ_CONTROLLER: &str = "IOAPIC";