From cc4da3a4c4963a5dd008b54171ca22d148426779 Mon Sep 17 00:00:00 2001
From: Gary Talent <gary@drinkingtea.net>
Date: Sat, 14 Dec 2024 21:04:35 -0600
Subject: [PATCH] [buildcore] Map aarch64 to arm64 in util.get_arch

---
 deps/buildcore/scripts/util.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/deps/buildcore/scripts/util.py b/deps/buildcore/scripts/util.py
index 383ee5f4..44709247 100644
--- a/deps/buildcore/scripts/util.py
+++ b/deps/buildcore/scripts/util.py
@@ -35,4 +35,6 @@ def get_arch() -> str:
     arch = platform.machine().lower()
     if arch == 'amd64':
         arch = 'x86_64'
+    elif arch == 'aarch64':
+        arch = 'arm64'
     return arch