https://www.pjrc.com/teensy/td_download.html
First download the Arduino 2.0.x IDE from Arduino's website. To install Teensy on Arduino IDE 2.0, click File > Preferences. In "Additional boards manager URLs", copy this link: https://www.pjrc.com/teensy/package_teensy_index.json