Petalinux等をZynq上でSDカードブートするためには、事前にSDカードのフォーマットやファイルシステムを作成しておく必要があります。設定方法がややこしく毎回忘れるので、こちらの記事に残しておくことにします。

ZyboでPetalinuxを動かしてみました。その際の手順をこちらにまとめておきます。