Xilinx SDKで生成したhexファイルを手動でマージしてPapilioに送る

Papilio Loaderが上手く動いてないので手動でやる。
まずXIlinx SDKで生成したelfを
Launch shellでコマンドプロンプトを立ち上げた後、.elfを.hexに変換する。
microblazeを使ってる場合は以下。(microblaze mcsでも同じ？)

$ mb-objcopy -O ihex main.elf main.hex # -Oオプションがihexじゃなくてbinaryだとsrec_catでエラーが出た

hardware/tools/papilioで作業する。
target.hex, target.bin, target_bd.bmmの３つのファイルをout.bitに変換する。

srec_cat target.hex -Intel -Byte_Swap 2  -Data_Only -o tmp.mem -vmem 8
gawk ' BEGIN{FS=" ";} { $1= ""; print}' tmp.mem > out.mem
data2mem -bm bitstreams/target_bd.bmm -bt target.bit -bd out.mem -o b out.bit