diff --git a/l4/pkg/bootstrap/server/src/platform/exynos.cc b/l4/pkg/bootstrap/server/src/platform/exynos.cc
index 28ba4ab3..61b5d679 100644
--- a/l4/pkg/bootstrap/server/src/platform/exynos.cc
+++ b/l4/pkg/bootstrap/server/src/platform/exynos.cc
@@ -17,8 +17,6 @@
 #include "support.h"
 #include <l4/drivers/uart_s3c2410.h>
 
-#include <cstdio>
-
 namespace {
 class Platform_arm_exynos : public Platform_single_region_ram
 {