PLAT_TK1

sel4_config::consts

Constant PLAT_TK1 

Source 
pub const PLAT_TK1: bool = false;