From d011a6bc03346cc6089cbd8e5d8f76a0aa43f1b9 Mon Sep 17 00:00:00 2001
From: Sebastian Sumpf <sebastian.sumpf@genode-labs.com>
Date: Tue, 22 Jan 2013 14:23:04 +0100
Subject: [PATCH] L4RE: Add Arndale platform

---
 l4/mk/platforms/arndale.conf | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 l4/mk/platforms/arndale.conf

diff --git a/l4/mk/platforms/arndale.conf b/l4/mk/platforms/arndale.conf
new file mode 100644
index 00000000..dcacc452
--- /dev/null
+++ b/l4/mk/platforms/arndale.conf
@@ -0,0 +1,4 @@
+PLATFORM_NAME        = "Arndale Board"
+PLATFORM_ARCH        = arm
+PLATFORM_RAM_BASE    = 0x20000000
+PLATFORM_RAM_SIZE_MB = 2048