KERNEL_X86_FPU

sel4_config::consts

Constant KERNEL_X86_FPU 

Source 
pub const KERNEL_X86_FPU: &str = "FXSAVE";