...
To enable floating point support, the following kernel config option should be set: CONFIG_VFPM=y. Without this option, a process using floating point instructions will get a SIGSEGV.
Floating-point instructions for Cortex-M4 are enabled with the -mfpu=fpv4-sp-d16 compiler option. This option is enabled in the toolchain by default.
...