Your Pi installation is probably perfectly fine, these are issues in PlatformIO related to using it on ARM; toolchain update has been standing out long.
So, I finally set up my Pi, installed Arduino IDE, TeensyArduino, PlatformIO, compiled GitHub - PaulStoffregen/teensy_loader_cli: Command line Teensy Loader from source and created GitHub - maxgerhardt/pio-tool-teensy-arm which should have working binaries.
To use them, you need to override the tool-teensy package with a new line in platform_packages. Edit your platformio.ini so that it looks something like this
[env:teensy40]
platform = teensy
framework = arduino
board = teensy40
platform_packages =
toolchain-gccarmnoneeabi@https://bintray.com/platformio/dl-packages/download_file?file_path=toolchain-gccarmnoneeabi-linux_armv6l-1.90301.200702.tar.gz
tool-teensy@https://github.com/maxgerhardt/pio-tool-teensy-arm/archive/master.zip
On my Pi 3, together with the fix for the missing libarm_cortexM7lfsp_math.a , a pio run -t upload -v of the arduino-blink project (platform-teensy/examples/arduino-blink at develop · platformio/platform-teensy · GitHub) now leads to a correct invocation of the binary. I have no Teensy connected though
AVAILABLE: jlink, teensy-cli, teensy-gui
CURRENT: upload_protocol = teensy-cli
teensy_reboot -s
teensy_loader_cli -mmcu=imxrt1062 -w -s -v .pio/build/teensy40/firmware.hex
Teensy Loader, Command Line, Version 2.1
Read ".pio/build/teensy40/firmware.hex": 12932 bytes, 0.6% usage
Error opening USB device: No error
Waiting for Teensy device...
(hint: press the reset button)
Let me know if works for you.