I started using PlatformIO with Teensy but couldn't find an easy all-in-one reference for the options that in Arduino IDE you can select from the menu (CPU speed, USB type, optimization and keyboard layout), so I wrote one myself.
The below example should work as reference how one could set the...