Constant sel4_config::consts::PLAT_TX1

pub const PLAT_TX1: bool = false;