sel4_config::consts

Constant FXSAVE

Source 
pub const FXSAVE: bool = true;