From c8e3f0c732a8adf8ab3a08947570a84d86d329ab Mon Sep 17 00:00:00 2001
From: me-no-dev <hristo@espressif.com>
Date: Tue, 1 Oct 2019 22:15:13 +0300
Subject: [PATCH] Support Pi 4 on 64bit kernel

---
 .github/scripts/install-arduino-ide.sh | 3 +--
 tools/get.py                           | 4 ++--
 2 files changed, 3 insertions(+), 4 deletions(-)
 mode change 100644 => 100755 .github/scripts/install-arduino-ide.sh

diff --git a/.github/scripts/install-arduino-ide.sh b/.github/scripts/install-arduino-ide.sh
old mode 100644
new mode 100755
index 1a5e3d46..1ee02bf7
--- a/.github/scripts/install-arduino-ide.sh
+++ b/.github/scripts/install-arduino-ide.sh
@@ -12,7 +12,7 @@ if [[ "$OSTYPE" == "linux"* ]]; then
 		OS_NAME="linux32"
 	elif [[ "$OSBITS" == "x86_64" ]]; then
 		OS_NAME="linux64"
-	elif [[ "$OSBITS" == "armv7l" ]]; then
+	elif [[ "$OSBITS" == "armv7l" || "$OSBITS" == "aarch64" ]]; then
 		OS_NAME="linuxarm"
 	else
 		OS_NAME="$OSTYPE-$OSBITS"
@@ -214,4 +214,3 @@ function build_sketches() # build_sketches <fqbn> <examples-path> <chunk> <total
     done
     return 0
 }
-
diff --git a/tools/get.py b/tools/get.py
index be3c7dcc..27b39a10 100755
--- a/tools/get.py
+++ b/tools/get.py
@@ -122,7 +122,7 @@ def get_tool(tool):
             f.write(r.content)
             f.close()
         else:
-            is_ci = os.environ.get('TRAVIS_BUILD_DIR');
+            is_ci = os.environ.get('GITHUB_WORKSPACE');
             if is_ci:
                 download_file(url, local_path)
             else:
@@ -159,7 +159,7 @@ def identify_platform():
     sys_name = platform.system()
     sys_platform = platform.platform()
     print('System: %s, Info: %s' % (sys_name, sys_platform))
-    if 'Linux' in sys_name and sys_platform.find('arm') > 0:
+    if 'Linux' in sys_name and (sys_platform.find('arm') > 0 or sys_platform.find('aarch64')):
         sys_name = 'LinuxARM'
     if 'CYGWIN_NT' in sys_name:
         sys_name = 'Windows'