4 files changed, 0 insertions, 5 deletions
diff --git a/src/mainboard/scaleway/tagada/acpi_tables.c b/src/mainboard/scaleway/tagada/acpi_tables.c
index e126bd8e83..43818eebe4 100644
--- a/src/mainboard/scaleway/tagada/acpi_tables.c
+++ b/src/mainboard/scaleway/tagada/acpi_tables.c
@@ -16,7 +16,6 @@
  */
 
 #include <types.h>
-#include <string.h>
 #include <arch/acpi.h>
 #include <arch/smp/mpspec.h>
 #include <device/device.h>
diff --git a/src/mainboard/scaleway/tagada/bmcinfo.c b/src/mainboard/scaleway/tagada/bmcinfo.c
index 5ca736984d..237d551b59 100644
--- a/src/mainboard/scaleway/tagada/bmcinfo.c
+++ b/src/mainboard/scaleway/tagada/bmcinfo.c
@@ -16,9 +16,7 @@
 
 #include <stdint.h>
 #include <stdlib.h>
-#include <string.h>
 #include <arch/early_variables.h>
-
 #include <console/console.h>
 #include <console/uart.h>
 
diff --git a/src/mainboard/scaleway/tagada/fadt.c b/src/mainboard/scaleway/tagada/fadt.c
index da25dec8a0..f40841efc3 100644
--- a/src/mainboard/scaleway/tagada/fadt.c
+++ b/src/mainboard/scaleway/tagada/fadt.c
@@ -16,7 +16,6 @@
  *
  */
 
-#include <string.h>
 #include <arch/acpi.h>
 
 #include <soc/acpi.h>
diff --git a/src/mainboard/scaleway/tagada/romstage.c b/src/mainboard/scaleway/tagada/romstage.c
index c29ff9dff7..f14c1b6e3c 100644
--- a/src/mainboard/scaleway/tagada/romstage.c
+++ b/src/mainboard/scaleway/tagada/romstage.c
@@ -19,7 +19,6 @@
 #include <console/console.h>
 #include <fsp/api.h>
 #include <fsp/soc_binding.h>
-#include <string.h>
 #include "bmcinfo.h"
 
 void mainboard_config_gpios(void);