This is an automated email from Gerrit.

Luca Dariz ( just uploaded a new patch set to Gerrit, 
which you can find at

-- gerrit

commit 24404942ace9f638f79c3256a86650bdbbcb2ec1
Author: Luca Dariz <>
Date:   Fri Feb 9 16:58:25 2018 +0100

    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.
    Change-Id: Ie8a2cb8282ccff6c2a3eb0ffeaddaf149d55d685
    Signed-off-by: Luca Dariz <>

diff --git a/src/rtos/ChibiOS.c b/src/rtos/ChibiOS.c
index ef0bb16..a46f7a4 100644
--- a/src/rtos/ChibiOS.c
+++ b/src/rtos/ChibiOS.c
@@ -247,7 +247,7 @@ static int ChibiOS_update_stacking(struct rtos *rtos)
        /* Check for armv7m with *enabled* FPU, i.e. a Cortex-M4  */
        struct armv7m_common *armv7m_target = target_to_armv7m(rtos->target);
        if (is_armv7m(armv7m_target)) {
-               if (armv7m_target->fp_feature == FPv4_SP) {
+               if (armv7m_target->fp_feature != FP_NONE) {
                        /* Found ARM v7m target which includes a FPU */
                        uint32_t cpacr;


Check out the vibrant tech community on one of the world's most
engaging tech sites,!
OpenOCD-devel mailing list

Reply via email to