Teensy 3.1 マイクロコントローラーでプロジェクトを作成しています。この Teensy は、IAR がサポートする MK20DX256VLH7 Cortex-M4 プロセッサを使用しています。ただし、Teensy には Arduino ソフトウェア (私は使用していません) と avr-gcc (使用したくない) の例しかありません。独自のブートローダー (ボタンの押下を検出して USB プログラミング モードに入る) と (私が思うに) 独自の特定のメモリ レイアウトを備えています。
Teensy ダウンローダー アプリケーションで使用できる .hex ファイルを IAR で生成し、デフォルトのブートローダーを使用してボード上で実行するには、どのような手順を実行する必要がありますか?