Development tools for Zephyr on STM32Workbench for Zephyr: VS Code extension to set up, build, flash and debug Zephyr applications on STM32.Devicetree manager: browse, edit and visualize Zephyr devicetree, STM32CubeMX-like for Zephyr.
i believe one is completely software fp, the other redirects soft fp abi code to use the FPU, while the third generates pure floating point code without calling abi functions.