Constant sel4_config::consts::HAVE_FPU

pub const HAVE_FPU: bool = true;