Solved
flags to use to enable FPU on STM32H5 MCUs
In this document it's stated that STM32H5 devices implements the FPv5 floating-point extensions.
From there, how do I know the proper flags to pass to gcc to enable the FPU?
-mfpu=fpv5-sp-d16
-mfpu=fpv5-d16
other ?

