Zybo Z7用のmicroSDカードについて
Zybo Z7 Reference Manual
まずZybo Z7 Reference Manualで調べてみる。
下記のように書かれていた。
Format the microSD card with a FAT32 file system.
google翻訳
microSDカードをFAT32ファイルシステムでフォーマットします。
SDカードの規格
ファイルシステム
SanDiskのHPに記載されているSD / SDHC / SDXCカードの仕様と互換性を参考にしてみる。
FAT32は4GBから32GBまでの範囲らしい。
ただし、以下wikiからの引用のとおり、FAT32でフォーマットすれば、32GB以上のSDカードでも使用できるかもしれない。
旧来のSDHC対応機器でSDXCメモリーカードをFAT32でフォーマットし使用することも可能である。ただし、Windows標準のフォーマッタを使用した場合、実装上の問題から64 GB以上のSDXCメモリーカードであっても利用できる上限容量は32 GBとなる（サードパーティー製のフォーマッタを使用することで、1ファイルあたりの容量は4 GBまでに制約されるものの回避可能である）。
スピードクラス
「FPGAの部屋」様で書かれているように、スピードクラスはClass 10を使うのが良いようだ。
容量
FPGAの部屋様や@kazuyamashi様の記事、@Rohira様の記事で書かれているように、8GB以上が推奨っぽい。
参考
XilinxのサポートではZynq UltraScale+ MPSoC: テスト済み SD カードのリストが公開されている。
ここで合格となっているSDカードなら、Zynq-7010やZynq-7020でもより安心して使えるかもしれない。
まとめ
以上をふまえて、AmazonでmicroSDを探してみた。
以下辺りが良さそうだ。