I have a (old-ish) Teensy 4.1 firmware which I have programmed onto about 20 different devices. I normally use MS Windows with Arduino 1.8.19 with the Teensy extensions to program the devices. Recently, I have created an ubuntu VM with what I believe is an identical installation of the IDE in...
