Constant sel4_config::consts::PLAT_TX2

pub const PLAT_TX2: bool = false;