mbed.org でコンパイルされたバイナリーを使用して、IBM InternetOfThingsKit Freescale K64F ボードをフラッシュしようとしました。プラットフォームを「Ethernet IoT Starter Kit」に設定し、コンパイラ エラーなしで hello-world 点滅 LED の例をコンパイルしました。
mbed フラッシュ ドライブに bin ファイルをコピーすると、すぐにフラッシュ ドライブに fail.txt ファイルが見つかりました。ボタンを押してバイナリをフラッシュする前でも。failed.txt ファイルに「INVALID BINARY NVIC」が含まれています。
「InternetOfThingsKit」プラットフォームの代わりに「FRDM-K64F」でも試してみました。