sel4_config::consts

Constant IOMMU

Source 
pub const IOMMU: bool = false;