Josef Wegner

I tested this patch on Debian Bullseye ARM64 and Ubuntu 20.04 LTS (ARM64/WSL2). It worked fine on both systems.

Closes #122

Okay, my bad. You need to have scala-cli installed in order to build scala-cli. The build error goes away after installing the Java version of scala-cli.

> Can you please clean the history with this patch (i.e., "Next try" is not a nice git comment). I think that a single commit should be enough. Also describe...

Okay, gild commit message now includes where you find the new files.

Using rp2040-core0.cfg also does not seem to work for me: ``` "/home/pi/.arduino15/packages/arduino/tools/openocd/0.11.0-arduino2/bin/openocd" -d2 -s "/home/pi/.arduino15/packages/arduino/tools/openocd/0.11.0-arduino2/share/openocd/scripts/" -f interfac e/cmsis-dap.cfg -f target/rp2040-core0.cfg -c "telnet_port disabled; init; reset init; halt; adapter speed 10000;...

Thank you very much. The aarch64 version works great on my Raspberry Pi 400. I worked through the scala-cli tutorial without any issues.

It seems that there is also an issue with ArduinoCore-mbed 2.6.1. With this latest version the output on a 4-digit TM1637 is garbled. Using an older version like 2.5.2 works...

This seems to be the commit that breaks the library on Arduino-mbed: https://github.com/arduino/ArduinoCore-mbed/commit/3f19f4906b53e2a3df03a142c03a6fb9d4f7e6d0 Not sure what the exact issue with the change is. My guess is that destroying the gpio...

Any updates on this issue? I would really like using my Arduino Due with my Raspberry Pi 400 running Bullseye ARM64.