このセクションでは、次に示す条件が満たされていることを前提としています。
- PetaLinux ツールのソフトウェア プラットフォームを使用して実際のハードウェア プラットフォームにカスタマイズした Linux システムをビルドできる準備が完了している。詳細は、ハードウェア コンフィギュレーションのインポート を参照してください。
- リファレンス BSP を使用して PetaLinux プロジェクトが作成済みであること。
- pre-built/linux/xen ディレクトリには、Xen に関連するビルド済みの xen.dtb、xen-openamp.dtb、xen-qemu.dtb、xen-Image、および xen-rootfs.cpio.gz があります。