L4RE: Arndale boostraping finished

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

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
 

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);