exetico05/25/2023, 12:49 PM
The old support/guide is now public anymore. Nor Google Cache or Way Back Machine could help me here. SO: How can I download the correct binaries for the RPi v4? (I need it, to it's possible to run
bash: ./toit: cannot execute binary file: Exec format error
related commands) 😄 Device info:
bash > cat /etc/os-release PRETTY_NAME="Debian GNU/Linux 11 (bullseye)" ... > cat /proc/cpuinfo ... Model : Raspberry Pi 4 Model B Rev 1.5 > uname -m aarch64
floitsch05/25/2023, 2:41 PM
v1 running on Arm.
exetico05/25/2023, 2:58 PM