ZedboardをISE14.2でSDブートする方法

Zedboardが届いたのでチュートリアルを行った。
SDカードから読み出す方法がZedboard_boot_guide_IDS14_1とは異なる部分があったので、メモする。

ISE14.1ではOutput fileとなっているところがISE14.2ではフォルダとなっている。

ファイル選択をチュートリアル通り行ってフォルダ指定すると、
指定した場所にはbifファイルとbin,mcsファイルが保存されている。
binファイルをリネームしてBOOT.BINとしてSDカードに保存するとZedboardを動作させることができた。