diff --git a/c/src/lib/libbsp/arm/edb7312/startup/bspreset.c b/c/src/lib/libbsp/arm/edb7312/startup/bspreset.c
index fa4ff1af16..436bdf09e4 100644
--- a/c/src/lib/libbsp/arm/edb7312/startup/bspreset.c
+++ b/c/src/lib/libbsp/arm/edb7312/startup/bspreset.c
@@ -7,6 +7,7 @@
  */
 
 #include <bsp.h>
+#include <bsp/bootcard.h>
 #include <ep7312.h>
 
 void bsp_reset(void)