Constant sel4_config::consts::TK1_SMMU

pub const TK1_SMMU: bool = false;