PLAT_SPIKE

sel4_config::consts

Constant PLAT_SPIKE 

Source 
pub const PLAT_SPIKE: bool = false;