IBM bluemix のクイックスタートの例を使用して TIVA ランチパッドをコーディングしましたが、クイックスタート ダッシュボードで利用可能なデータで完全に正常に動作しますが、ここに記載されている手順に従って登録済みのオプションを使用するとhttps://developer.ibm.com/recipes/tutorials /energia-tm4c1294/デバイスが Bluemix サーバーに接続されません (シリアル ポートにもアクティブなデバイス ステータス ダッシュボードにも接続ステータスが表示されません)。助けてください。