Fix ChibiOS FPU detection.
commit06e13d6ff56175317ae39ee0e86efbf55d2b27fd
authorLuca Dariz <l.dariz@imamoter.cnr.it>
Fri, 9 Feb 2018 15:58:25 +0000 (9 16:58 +0100)
committerTomas Vanek <vanekt@fbl.cz>
Wed, 7 Mar 2018 23:41:30 +0000 (7 23:41 +0000)
tree75e96748b04dae4881afac0917998ea965f45c58
parentcb2f21bf3608f24de5c2e4219626cc464269e830
Fix ChibiOS FPU detection.

This is needed for Cortex-M7 devices, which have newer FPU.
This issue caused the registry integrity check to fail if FPU was enabled.
Currently the code must use FPUv4_SP anyway, since other configurations are not
supported by ChibiOS.

Change-Id: Ie8a2cb8282ccff6c2a3eb0ffeaddaf149d55d685
Signed-off-by: Luca Dariz <luca.dariz@gmail.com>
Reviewed-on: http://openocd.zylin.com/4398
Tested-by: jenkins
Reviewed-by: Karl Palsson <karlp@tweak.net.au>
Reviewed-by: Tomas Vanek <vanekt@fbl.cz>
src/rtos/ChibiOS.c