OpenOCDでFPGAのbitファイルの書き換えを試しているんだけど、大きなデバイスでも対応できそうなんですね。
ただ、Zynq系のデバイスはないなぁと思ってるんだけど、CPUから書き換えればいいんだよね…