From f2f04412f61149dba6d66630115d2424cd1a3d62 Mon Sep 17 00:00:00 2001
From: Marcin Juszkiewicz <mjuszkiewicz@redhat.com>
Date: Wed, 30 Jul 2014 13:10:42 +0200
Subject: [PATCH] Add AArch64 (64-bit ARM) support

Signed-off-by: Marcin Juszkiewicz <mjuszkiewicz@redhat.com>
---
 build/ck.build.aarch64 | 1 +
 configure              | 6 ++++++
 2 files changed, 7 insertions(+)
 create mode 100644 build/ck.build.aarch64

diff --git a/build/ck.build.aarch64 b/build/ck.build.aarch64
new file mode 100644
index 0000000..8b13789
--- /dev/null
+++ b/build/ck.build.aarch64
@@ -0,0 +1 @@
+
diff --git a/configure b/configure
index 6c1a420..537179d 100755
--- a/configure
+++ b/configure
@@ -427,6 +427,12 @@ case $PLATFORM in
 		PLATFORM=arm
 		ENVIRONMENT=32
 		;;
+	"aarch64")
+		RTM_ENABLE="CK_MD_RTM_DISABLE"
+		MM="${MM:-"CK_MD_RMO"}"
+		PLATFORM=aarch64
+		ENVIRONMENT=64
+		;;
 	*)
 		RTM_ENABLE="CK_MD_RTM_DISABLE"
 		PLATFORM=