From 2653fad0c4ca49524d440e5315e53027937a08ad Mon Sep 17 00:00:00 2001
From: Sebastian Sumpf <sebastian.sumpf@genode-labs.com>
Date: Wed, 30 Oct 2019 14:31:25 +0100
Subject: [PATCH] ports: noux_tool_chain_auto for ARMv8

issue #3537
---
 repos/ports/run/noux_tool_chain_auto.run | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/repos/ports/run/noux_tool_chain_auto.run b/repos/ports/run/noux_tool_chain_auto.run
index bfecaa53b..eb8787b14 100644
--- a/repos/ports/run/noux_tool_chain_auto.run
+++ b/repos/ports/run/noux_tool_chain_auto.run
@@ -72,6 +72,15 @@ if {[have_spec arm]} {
 
 }
 
+if {[have_spec arm_64]} {
+	set binutils "binutils_arm_64"
+	set gcc "gcc_arm_64"
+	set tool_prefix "genode-aarch64-"
+
+	set noux_boot_timeout   350
+	set platform            "arm_v8a"
+}
+
 if {[have_spec x86]} {
 	set binutils "binutils_x86"
 	set gcc "gcc_x86"