I've tried to use Teensyduino, I didn't get it to work but I did learn more about the problem.
To use Teensyduino I need the Arduino software which I didn't get to work (because of a Java issue I think).
So I did some further digging and I think I know the cause of the problem. The PlatformIO toolchain (toolchain-gccarmnoneeabi) seems to be 32 bit while my platform is 64 bit ARM.
When I try to just run the compiler I get the message that the file cannot be found, which happens if you try to run an 32 bit binary on a 64 bit system:
-bash: /home/willem/.platformio/packages/toolchain-gccarmnoneeabi/bin/arm-none-eabi-g++: No such file or directory
$ file ~/.platformio/packages/toolchain-gccarmnoneeabi/bin/arm-none-eabi-g++
/home/willem/.platformio/packages/toolchain-gccarmnoneeabi/bin/arm-none-eabi-g++: ELF 32-bit LSB executable, ARM, EABI5 version 1 (SYSV), dynamically linked, interpreter /lib/ld-linux-armhf.so.3, for GNU/Linux 2.6.32, BuildID[sha1]=3fe0d6010e87afa9fefb1b148f647a1a6f066eb7, stripped
$ uname -i
So to solve this an ARM 64 bit PlatformIO toolchain-gccarmnoneeabi which produces 32 bit binaries for the Teensy would be needed right? How can this be solved?
(note: I also tried with remote agent so that compile is not done on the ARM system, this however fails because of the same reason. pioplus can't be executed because it is a 32 bit executable)