I am making a project with the Teensy 3.1 microcontroller. This Teensy uses the MK20DX256VLH7 Cortex-M4 processor, which is supported by IAR. However, Teensy only has examples for Arduino software (which I am not using) and avr-gcc (which I would rather not use). It has its own bootloader (which detects a button press and goes into USB programming mode) and (I believe) its own particular memory layout.
What steps do I have to take to get IAR to generate .hex files that can be used by the Teensy downloader application, and run on the board using the default bootloader?