Apologies if this is the wrong venue to ask for board support, but I wanted to see if it would be possible to get Teensy 4.0 support added. It hasn’t officially released yet, but it looks like it’s going to be soon. Near the bottom of this page is some detail about the current status: https://forum.pjrc.com/threads/54711-Teensy-4-0-First-Beta-Test/page157
The commits to the Teensy library are on Paul’s github as well, but I can’t link to it since I’m a new user.
I’ve really been enjoying using Platform.io, and I would love to be able to get my application on Teensy 4.0.