From 790a57041ca7128d5431985adf08376c8a9c2e0b Mon Sep 17 00:00:00 2001
From: Sebastian Sumpf <sebastian.sumpf@genode-labs.com>
Date: Wed, 29 May 2019 13:29:57 +0200
Subject: [PATCH] base: add ARM 64-Bit to base API

issue #3407
---
 repos/base/recipes/api/base/content.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/base/recipes/api/base/content.mk b/repos/base/recipes/api/base/content.mk
index fe80260d9b..0ff64b1a93 100644
--- a/repos/base/recipes/api/base/content.mk
+++ b/repos/base/recipes/api/base/content.mk
@@ -1,7 +1,7 @@
 content: include mk/spec lib LICENSE
 
 # architectures, for which a 'trace/timestamp.h' header is available
-ARCHS := riscv arm_v6 arm_v7 x86_32 x86_64
+ARCHS := riscv arm_v6 arm_v7 arm_64 x86_32 x86_64
 
 include:
 	mkdir -p include