Hi @md4k9 ,

[GitUser8675309]

Its Dec 2024 and this is still needed. Of course it doesn't say you need to do this in any forum or how-to.

Hi @md4k9 ,

thank you for submitting the issue. Indeed, the rpi platform in Basics Station assumes a 32 bit toolchain for now. If you run on a 64 bit pi, a workaround for now is to do a small change to setup.gmk to explicitly set the toolchain architecture to 64 bit for the rpi platform:

diff --git a/setup.gmk b/setup.gmk
index d7c4363..e821a01 100644
--- a/setup.gmk
+++ b/setup.gmk
@@ -44,7 +44,7 @@ ARCH.linux   = x86_64-linux-gnu
 ARCH.linuxV2 = x86_64-linux-gnu
 ARCH.linuxpico = x86_64-linux-gnu
 ARCH.corecell  = arm-linux-gnueabihf
-ARCH.rpi     = arm-linux-gnueabihf
+ARCH.rpi     = aarch64-linux-gnu
 ARCH.kerlink = arm-klk-linux-gnueabi
 ARCH=${ARCH.${platform}}

In the next release we will add support for 64 bit Raspberry Pi.

Originally posted by @beitler in #171 (comment)