ZYNQのブートをSDXCで行いたい

質問

ZYNQボード(TE0715-04-30-1IA)とキャリアボード(TE0710)で製品設計を行っています。

その中で、ブートプロセスをSDカードで行う場合、SDカード、SDHCカード、SDXCカードの容量による対応可否はありますでしょうか。

仕様書への記載はない為、どのSDカードも使用できると考えておりますが、

お試しになっておりましたらお教え頂けないでしょうか。

SDXCは避けたほうがよいかと思います。

通常のFATではフォーマットできないためです。

最初のパーティションだけFATにすれば何とかなるのかもしれませんが、試したことはありません。

(回答時期2019年1月)