diff --git a/configs/nucleo-144/src/stm32_buttons.c b/configs/nucleo-144/src/stm32_buttons.c
index c2d16e50b1b..ff0e64d7642 100644
--- a/configs/nucleo-144/src/stm32_buttons.c
+++ b/configs/nucleo-144/src/stm32_buttons.c
@@ -40,9 +40,13 @@
 
 #include <nuttx/config.h>
 
+#include <stddef.h>
+
 #include <nuttx/irq.h>
 #include <nuttx/board.h>
 
+#include <arch/board/board.h>
+
 #include "stm32_gpio.h"
 #include "nucleo-144.h"