1、在 BSP 中更改启动参数,打开内核FPU
2、修改内核配置
libsylixos/SylixOS/config/kernel/kernel_cfg.h
3、修改内核模块配置
由于内核模块默认不能配置硬件浮点,因此首先需要将内核模块工程改为专家模式
在mk文件的编译选项栏加入硬件浮点配置项,以T3为例(T3的FPU为VFPv4)