That 'Board' manager install includes all the essential software to build for Teensy. Only added devices or software features would require additional libraries.Hello, thank you very much, I have already added it by following this step, I would like to ask, do I need to download any software next, and the board I purchased is teensy version 3.2, can the software I downloaded work