diff --git a/boards/arm/stm32/common/src/stm32_ihm07m1.c b/boards/arm/stm32/common/src/stm32_ihm07m1.c
index 2a4f39ed562..76d58739304 100644
--- a/boards/arm/stm32/common/src/stm32_ihm07m1.c
+++ b/boards/arm/stm32/common/src/stm32_ihm07m1.c
@@ -26,6 +26,7 @@
 
 #include <errno.h>
 #include <assert.h>
+#include <debug.h>
 
 #include <arch/board/board.h>
 
diff --git a/boards/arm/stm32/common/src/stm32_ihm08m1.c b/boards/arm/stm32/common/src/stm32_ihm08m1.c
index feecc884afd..141179f7c1c 100644
--- a/boards/arm/stm32/common/src/stm32_ihm08m1.c
+++ b/boards/arm/stm32/common/src/stm32_ihm08m1.c
@@ -26,6 +26,7 @@
 
 #include <errno.h>
 #include <assert.h>
+#include <debug.h>
 
 #include <arch/board/board.h>