From b857046a563dfae50d46a6fa8ff37546cc02f67f Mon Sep 17 00:00:00 2001 From: Aivar Annamaa Date: Sun, 8 Jan 2023 20:54:50 +0200 Subject: [PATCH] Recognize aarch64 as RPi --- thonny/misc_utils.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/thonny/misc_utils.py b/thonny/misc_utils.py index 644204864..feb0549b5 100644 --- a/thonny/misc_utils.py +++ b/thonny/misc_utils.py @@ -45,8 +45,11 @@ def running_on_linux() -> bool: def running_on_rpi() -> bool: + machine_lower = platform.uname().machine.lower() return running_on_linux() and ( - platform.uname().machine.lower().startswith("arm") + # not great heuristics, I know + machine_lower.startswith("arm") + or machine_lower.startswith("aarch64") or os.environ.get("DESKTOP_SESSION") == "LXDE-pi" )