Hi all,
I'm super excited about this but can't get it to run using `arduino-cli`. I installed `arduino-cli` on my machine (Arch Linux 5.15.49-1-lts) as well as the boards in the Arduino IDE: https://www.pjrc.com/teensy/td_156/package_teensy_index.json.
It's working perfectly fine in the...