From ea4330b9d6de2566754fb4fabe92a3a7fc83b579 Mon Sep 17 00:00:00 2001
From: Sebastian Sumpf <sebastian.sumpf@genode-labs.com>
Date: Thu, 24 Jan 2013 16:14:10 +0100
Subject: [PATCH] L4RE: Arndale boostraping finished

---
 l4/mk/platforms/arndale.conf                  |  2 +-
 l4/pkg/bootstrap/server/src/Make.rules        |  1 +
 .../bootstrap/server/src/platform/arndale.cc  | 32 +++++++++++++++++++
 3 files changed, 34 insertions(+), 1 deletion(-)
 create mode 100644 l4/pkg/bootstrap/server/src/platform/arndale.cc

diff --git a/l4/mk/platforms/arndale.conf b/l4/mk/platforms/arndale.conf
index dcacc452..b0210b21 100644
--- a/l4/mk/platforms/arndale.conf
+++ b/l4/mk/platforms/arndale.conf
@@ -1,4 +1,4 @@
 PLATFORM_NAME        = "Arndale Board"
 PLATFORM_ARCH        = arm
-PLATFORM_RAM_BASE    = 0x20000000
+PLATFORM_RAM_BASE    = 0x40000000
 PLATFORM_RAM_SIZE_MB = 2048
diff --git a/l4/pkg/bootstrap/server/src/Make.rules b/l4/pkg/bootstrap/server/src/Make.rules
index d363dd1c..b867cb95 100644
--- a/l4/pkg/bootstrap/server/src/Make.rules
+++ b/l4/pkg/bootstrap/server/src/Make.rules
@@ -83,6 +83,7 @@ SUPPORT_CC_arm-imx51       := platform/imx.cc
 SUPPORT_CC_arm-imx53       := platform/imx.cc
 SUPPORT_CC_arm-imx6        := platform/imx.cc
 SUPPORT_CC_arm-om          := platform/om.cc
+SUPPORT_CC_arm-arndale     := platform/arndale.cc
 SUPPORT_CC_arm-kirkwood    := platform/kirkwood.cc
 DEFAULT_RELOC_arm-imx21    := 0x00200000  # because of blob
 
diff --git a/l4/pkg/bootstrap/server/src/platform/arndale.cc b/l4/pkg/bootstrap/server/src/platform/arndale.cc
new file mode 100644
index 00000000..8d108b70
--- /dev/null
+++ b/l4/pkg/bootstrap/server/src/platform/arndale.cc
@@ -0,0 +1,32 @@
+/**
+ * \file   arnadale.cc
+ * \brief  Support for the OpenMoko platform
+ *
+ * \date   2012
+ * \author Genode Labs
+ *
+ */
+
+
+#include "support.h"
+
+#include <l4/drivers/uart_s3c2410.h>
+#include <l4/drivers/uart_dummy.h>
+
+namespace {
+class Platform_arm_arndale : public Platform_single_region_ram
+{
+  bool probe() { return true; }
+
+  void init()
+  {
+    static L4::Uart_s5pv210 _uart;
+    static L4::Io_register_block_mmio r(0x12C20000);
+
+    _uart.startup(&r);
+    set_stdio_uart(&_uart);
+  }
+};
+}
+
+REGISTER_PLATFORM(Platform_arm_arndale);