パソコンとボードをシリアルケーブルで接続してから、以下の図のように「Terminal」を起動し、ボードの電源を入れます。

最初に mount コマンドでSD/MMCカードを認識させます。
SD/MMCカードの名称は「mmc0」となるので以下のように入力します。
MES > mount mmc0
SD/MMCカードの内容は以下のように dir コマンドで確認できます。
MES > dir /mmc0/
SD/MMCカードのプログラムはプログラム名の頭に「/mmc0/」をつけて、例えば以下のように実行します。
MES > /mmc0/hello.exe
SD/MMCカードの取り出しは以下のように eject コマンドで行います。
MES > eject mmc0
これでボードの電源を切ることができます。