3 files changed, 5 insertions, 0 deletions
diff --git a/c/src/lib/libbsp/arm/raspberrypi/console/console_select.c b/c/src/lib/libbsp/arm/raspberrypi/console/console_select.c
index 8000a7afc0..30aaff42e5 100644
--- a/c/src/lib/libbsp/arm/raspberrypi/console/console_select.c
+++ b/c/src/lib/libbsp/arm/raspberrypi/console/console_select.c
@@ -20,6 +20,7 @@
 #include <bsp/fatal.h>
 #include <rtems/libio.h>
 #include <stdlib.h>
+#include <string.h>
 #include <assert.h>
 #include <termios.h>
 
diff --git a/c/src/lib/libbsp/arm/raspberrypi/misc/vc_defines.h b/c/src/lib/libbsp/arm/raspberrypi/misc/vc_defines.h
index 9725445c9e..857305bf92 100644
--- a/c/src/lib/libbsp/arm/raspberrypi/misc/vc_defines.h
+++ b/c/src/lib/libbsp/arm/raspberrypi/misc/vc_defines.h
@@ -20,6 +20,8 @@
 #ifndef LIBBSP_ARM_RASPBERRYPI_VC_DEFINES_H
 #define LIBBSP_ARM_RASPBERRYPI_VC_DEFINES_H
 
+#include <string.h>
+
 /**
  * @defgroup raspberrypi_vc Register Definitions
  *
diff --git a/c/src/lib/libbsp/arm/raspberrypi/startup/cmdline.c b/c/src/lib/libbsp/arm/raspberrypi/startup/cmdline.c
index 9e41813e08..222b21eb63 100644
--- a/c/src/lib/libbsp/arm/raspberrypi/startup/cmdline.c
+++ b/c/src/lib/libbsp/arm/raspberrypi/startup/cmdline.c
@@ -18,6 +18,8 @@
 #include <bsp.h>
 #include <bsp/vc.h>
 
+#include <string.h>
+
 #define MAX_CMDLINE_LENGTH 1024
 static int rpi_cmdline_ready = -1;
 static char rpi_cmdline_cached[MAX_CMDLINE_LENGTH] = "force .data placement";