From d30d2fa31873c019dc80d06045dcdde26d48c17e Mon Sep 17 00:00:00 2001
From: Dave Murphy <davem@devkitpro.org>
Date: Sun, 5 Mar 2017 01:26:49 +0000
Subject: [PATCH] add selection for devkitA64

---
 select_toolchain.sh | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/select_toolchain.sh b/select_toolchain.sh
index b969af1..0555eaa 100755
--- a/select_toolchain.sh
+++ b/select_toolchain.sh
@@ -19,6 +19,7 @@ do
   echo
   echo "1: devkitARM (gba gp32 ds)"
   echo "2: devkitPPC (gamecube wii)"
+  echo "3: devkitA64 (switch)"
   read VERSION
 
   if [ "$VERSION" -ne 1 -a "$VERSION" -ne 2 -a "$VERSION" -ne 3 ]
@@ -49,4 +50,14 @@ case "$VERSION" in
     target=powerpc-eabi
     toolchain=DEVKITPPC
   ;;
+  "3" )
+    GCC_VER=6.3.0
+    BINUTILS_VER=2.28
+    NEWLIB_VER=2.5.0
+    GDB_VER=7.12
+    basedir='dka64'
+    package=devkitA64
+    target=aarch64-none-elf
+    toolchain=DEVKITA64
+  ;;
 esac