sel4_config::consts

Constant PLAT_TQMA8XQP1GB

Source 
pub const PLAT_TQMA8XQP1GB: bool = false;