sel4_config::consts

Constant XSAVE

Source 
pub const XSAVE: bool = false;