diff --git a/bsps/arm/xilinx-zynqmp/start/bspreset.c b/bsps/arm/xilinx-zynqmp/start/bspreset.c
index f02b84de96..dfe3424342 100644
--- a/bsps/arm/xilinx-zynqmp/start/bspreset.c
+++ b/bsps/arm/xilinx-zynqmp/start/bspreset.c
@@ -31,6 +31,7 @@
  */
 
 #include <bsp.h>
+#include <bsp/bootcard.h>
 
 void bsp_reset( rtems_fatal_source source, rtems_fatal_code code )
 {