I've switched to Microsoft's VSCode as my IDE of choice for my day job (it runs on Windows, it runs on Linux, it handles Node and Docker and integrated Git, perfect), so i've just started using it for Arduino with the Microsoft Arduino plugin, and it all works well, with all the features you would expect from a decent IDE that are sadly lacking in the Arduino IDE.

I've just opened a Teensy project, and noticed that the Teensy boards are not present, event though they are present within the Arduino IDE (installed via Teensyduino).

From within VSCode i can call up an Arduino board manager, but i cant see the Teensy boards, and i cant see how to add them either.

Has anyone managed to add the Teensy boards to VsCode?

I'm not interested in the "Micro Code" plugin, thanks.