VTX

sel4_config::consts

Constant VTX 

Source 
pub const VTX: bool = false;