exetico
05/25/2023, 12:49 PMbash: ./toit: cannot execute binary file: Exec format error
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 toit serial
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
floitsch
05/25/2023, 2:41 PMtoit
v1 running on Arm.exetico
05/25/2023, 2:58 PM