SW4STM32 and SW4Linux fully supports the STM32MP1 asymmetric multicore Cortex/A7+M4 MPUs

   With System Workbench for Linux, Embedded Linux on the STM32MP1 family of MPUs from ST was never as simple to build and maintain, even for newcomers in the Linux world. And, if you install System Workbench for Linux in System Workbench for STM32 you can seamlessly develop and debug asymmetric applications running partly on Linux, partly on the Cortex-M4.
You can get more information from the ac6-tools website and download (registration required) various documents highlighting:

System Workbench for STM32

Re: Assembler FPU statements not recognized


The right correction should be to edit the project properties and select the FPU and FPU-ABI:

project >> Properties >> C/C++ Build >> Settings >> MCU Settings
2015 03 30 134900

select FPU = fpv3_fp16
and fpu-abi = hard

Do this on both the main project and the static library project, then clean both projects (you can just delete their Debug folders) and rebuild. It should then work without any problem.

This is in fact due to a small glitch in the current System Workbench version: for STM32F4 we note they have an FPU, but nevertheless keep generating code without using the FPU... This will be corrected in the next update.

Correcting by changing the source code, like you do, will thus no more be needed, and all your code (C and ASM) will be able to use the FPU.