FXSAVE

sel4_config::consts

Constant FXSAVE 

Source 
pub const FXSAVE: bool = true;