Hello,
I have a STM32F407 board which has FP unit and a on-board STLINK debug USB port. When configure OpenOCD with --enable-stlink and start OpenOCD with option “-f board/stm32f4discovery.cfg”, everything work well. I can upload image and check core registers.
In the recent git log of OpenOCD, I saw some code related to Floating Point are added, such as “armv7m: detect floating point feature” from Mathias K. So I wonder whether the OpenOCD can retrieve FP registers from my STM32F4 board? If it does, then which board config file should I use?
Best regards,
Terry