This is a customized version of the teensy platform config for PlatformIO that uses a more recent cross-compiler toolchain (gcc 13.x) supporting Linux x86_64, macOS x86_64, macOS arm64 and Windows x86_64 hosts.

Teensy is a complete USB-based microcontroller development system, in a very small footprint, capable of implementing many types of projects. All programming is done via the USB port. No special programmer is needed, only a standard USB cable and a PC or Macintosh with a USB port.

• Home (home page in the PlatformIO Registry)
• Documentation (advanced usage, packages, boards, frameworks, etc.)

1. Install PlatformIO
2. Create PlatformIO project and configure a platform option in platformio.ini file:

[env:teensy41]
platform = https://github.com/tsandmann/platform-teensy.git
board = ...
...

Please navigate to documentation.