From ff8fb8c67790126e5aadc1ce40b7aef612143af2 Mon Sep 17 00:00:00 2001
From: Sebastian Sumpf <sebastian.sumpf@genode-labs.com>
Date: Tue, 16 Jul 2013 16:50:20 +0200
Subject: [PATCH] L4RE: Remove <cstdio> from Exynos init code

---
 l4/pkg/bootstrap/server/src/platform/exynos.cc | 2 --
 1 file changed, 2 deletions(-)

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
 {