1. Download the Arduino IDE software.
2. Download the Teensyduino software.
3. Connect the Teensy to a computer via USB. Make sure that the program recognizes that a Teensy is connected. If you need to change the serial port, select a new port from the menu as shown below: