arch: detect armv8l as 32bit arm

diff --git a/tools/helpers/arch.py b/tools/helpers/arch.py
index 3c0bb76f18c2a36a3980ddf621bbfcd83dbf14b8..35e851601a8d34c726a14eeb5f10aa2b151362bf 100644 (file)
--- a/tools/helpers/arch.py
+++ b/tools/helpers/arch.py
@@ -9,7 +9,8 @@ def host():
         "i686": "x86",
         "x86_64": "x86_64",
         "aarch64": "arm64",
         "i686": "x86",
         "x86_64": "x86_64",
         "aarch64": "arm64",

-        "armv7l": "arm"
+        "armv7l": "arm",
+        "armv8l": "arm"

     }
     if machine in mapping:
         return mapping[machine]
     }
     if machine in mapping:
         return mapping[machine]