TK1_SMMU

sel4_config::consts

Constant TK1_SMMU 

Source 
pub const TK1_SMMU: bool = false;