一部の評価ボードのコンフィギュレーション済み PetaLinux BSP は次から入手できます。http://japan.xilinx.com/support/download/index.htm
これらの BSP では、該当する BSP インストール ディレクトリにブート/デモンストレーション用の構築済みイメージがあります。