diff --git a/c/src/lib/libbsp/arm/gp32/startup/bspreset.c b/c/src/lib/libbsp/arm/gp32/startup/bspreset.c
index f88e848aa2..a9c3792e5d 100644
--- a/c/src/lib/libbsp/arm/gp32/startup/bspreset.c
+++ b/c/src/lib/libbsp/arm/gp32/startup/bspreset.c
@@ -5,6 +5,7 @@
  */
 
 #include <bsp.h>
+#include <bsp/bootcard.h>
 
 void bsp_reset(void)
 {