PLAT_TX2

sel4_config::consts

Constant PLAT_TX2 

Source 
pub const PLAT_TX2: bool = false;