5 files changed, 0 insertions, 5 deletions
diff --git a/src/soc/samsung/exynos5250/alternate_cbfs.c b/src/soc/samsung/exynos5250/alternate_cbfs.c
index c319019eb6..1ff5d85bcb 100644
--- a/src/soc/samsung/exynos5250/alternate_cbfs.c
+++ b/src/soc/samsung/exynos5250/alternate_cbfs.c
@@ -18,7 +18,6 @@
 #include <soc/alternate_cbfs.h>
 #include <soc/power.h>
 #include <soc/spi.h>
-#include <stdlib.h>
 #include <symbols.h>
 
 /* This allows USB A-A firmware upload from a compatible host in four parts:
diff --git a/src/soc/samsung/exynos5250/clock.c b/src/soc/samsung/exynos5250/clock.c
index e762af1908..f1b11b5a69 100644
--- a/src/soc/samsung/exynos5250/clock.c
+++ b/src/soc/samsung/exynos5250/clock.c
@@ -18,7 +18,6 @@
 #include <console/console.h>
 #include <soc/clk.h>
 #include <soc/periph.h>
-#include <stdlib.h>
 #include <timer.h>
 
 /* input clock of PLL: SMDK5250 has 24MHz input clock */
diff --git a/src/soc/samsung/exynos5250/cpu.c b/src/soc/samsung/exynos5250/cpu.c
index f00351ecf4..5f9989990d 100644
--- a/src/soc/samsung/exynos5250/cpu.c
+++ b/src/soc/samsung/exynos5250/cpu.c
@@ -23,7 +23,6 @@
 #include <soc/dp-core.h>
 #include <soc/fimd.h>
 #include <stddef.h>
-#include <stdlib.h>
 #include <string.h>
 
 #include "chip.h"
diff --git a/src/soc/samsung/exynos5250/fb.c b/src/soc/samsung/exynos5250/fb.c
index 2e8acf2688..a29c61985f 100644
--- a/src/soc/samsung/exynos5250/fb.c
+++ b/src/soc/samsung/exynos5250/fb.c
@@ -25,7 +25,6 @@
 #include <soc/i2c.h>
 #include <soc/power.h>
 #include <soc/sysreg.h>
-#include <stdlib.h>
 #include <timer.h>
 
 /*
diff --git a/src/soc/samsung/exynos5250/spi.c b/src/soc/samsung/exynos5250/spi.c
index 4d5e01f493..bacd08ca24 100644
--- a/src/soc/samsung/exynos5250/spi.c
+++ b/src/soc/samsung/exynos5250/spi.c
@@ -21,7 +21,6 @@
 #include <soc/clk.h>
 #include <soc/gpio.h>
 #include <soc/spi.h>
-#include <stdlib.h>
 #include <symbols.h>
 
 #if defined(CONFIG_DEBUG_SPI) && CONFIG_DEBUG_SPI