diff --git a/boards/arm/nrf52/nrf52840-dk/src/nrf52_highpri.c b/boards/arm/nrf52/nrf52840-dk/src/nrf52_highpri.c
index b90d2101a36..f926bccf7e5 100644
--- a/boards/arm/nrf52/nrf52840-dk/src/nrf52_highpri.c
+++ b/boards/arm/nrf52/nrf52840-dk/src/nrf52_highpri.c
@@ -115,7 +115,7 @@ void timer_handler(void)
   ret = NRF52_TIM_CHECKINT(g_highpri.dev, NRF52_TIM_CC0);
   if (ret != 1)
     {
-      DEBUGASSERT(0);
+      DEBUGPANIC();
     }
 
   /* Increment the count associated with the current basepri */
diff --git a/boards/arm/stm32/common/src/stm32_ihm07m1.c b/boards/arm/stm32/common/src/stm32_ihm07m1.c
index bf192c2702f..429cb6489e9 100644
--- a/boards/arm/stm32/common/src/stm32_ihm07m1.c
+++ b/boards/arm/stm32/common/src/stm32_ihm07m1.c
@@ -337,7 +337,7 @@ static void board_foc_trace(struct foc_dev_s *dev, int type, bool state)
       default:
         {
           mtrerr("board_foc_trace type=%d not supported!\n", type);
-          DEBUGASSERT(0);
+          DEBUGPANIC();
         }
     }
 }
diff --git a/boards/arm/stm32/common/src/stm32_ihm08m1.c b/boards/arm/stm32/common/src/stm32_ihm08m1.c
index 3f945c7e538..410aa503b93 100644
--- a/boards/arm/stm32/common/src/stm32_ihm08m1.c
+++ b/boards/arm/stm32/common/src/stm32_ihm08m1.c
@@ -327,7 +327,7 @@ static void board_foc_trace(struct foc_dev_s *dev, int type, bool state)
       default:
         {
           mtrerr("board_foc_trace type=%d not supported!\n", type);
-          DEBUGASSERT(0);
+          DEBUGPANIC();
         }
     }
 }
diff --git a/boards/arm/stm32/common/src/stm32_ihm16m1.c b/boards/arm/stm32/common/src/stm32_ihm16m1.c
index 341ec73c382..724b90e6076 100644
--- a/boards/arm/stm32/common/src/stm32_ihm16m1.c
+++ b/boards/arm/stm32/common/src/stm32_ihm16m1.c
@@ -335,7 +335,7 @@ static void board_foc_trace(struct foc_dev_s *dev, int type, bool state)
       default:
         {
           mtrerr("board_foc_trace type=%d not supported!\n", type);
-          DEBUGASSERT(0);
+          DEBUGPANIC();
         }
     }
 }