Zynq上でLinuxをブートするためのSDカード作成方法

Petalinux等をZynq上でSDカードブートするためには、事前にSDカードのフォーマットやファイルシステムを作成しておく必要があります。

設定方法がややこしく毎回忘れるので、こちらの記事に残しておくことにします。

環境構築

SDカードのフォーマットやパーティションの作成時にext4のファイルシステムを扱う必要があるため、Windows PCのみでは作業を進めるのが難しいです。

Windowsからext4を扱うためのフリーソフトも存在するようですが、私の場合は手持ちのUSB-HDD上に「Ubuntu Live USB」を作成し、そこで起動したUbuntuからSDカードを扱うようにしました。

Ubuntu Live USBの作成方法についてはこちらのページを参考にしました。

何らかの方法でext4を扱える環境が準備できればOKです。

SDカードの設定

Linuxが起動したらPCにSDカードを差し込み、lsblkコマンド等でSDカードが認識されているかを確認します。もしSDカードがマウントされているようであれば、予め全てアンマウントしておきます。

$ sudo umount /dev/sdX1 # Xには「a」や「b」などのアルファベットが入ります
$ sudo umount /dev/sdX2
...

パーティションの作成

fdiskコマンドを使ってSDカード上にパーティションを作成していきます。

$ sudo fdisk /dev/sdX # Xには「a」や「b」などのアルファベットが入ります

パーティション2のタイプはデフォルトで「Linux」に設定されているはずなので、特に変更の必要はありません

16GBのSDカードを設定した場合、最終的なディスクの状態は以下のようになりました。

ファイルシステムの作成

mkfsコマンドでファイルシステムを作成します。

$ sudo mkfs.vfat -n boot /dev/sdX1 # Xには「a」や「b」などのアルファベットが入ります
$ sudo mkfs.ext4 -L root /dev/sdX2

SDカードの先頭512MBをFAT32で「boot」というラベルを付けてフォーマットし、残りの全領域をext4で「root」というラベルを付けてフォーマットしました。これで、SDカードの準備としては完了です。

$ cp images/linux/BOOT.bin <path_to_fat32>
$ cp images/linux/boot.scr <path_to_fat32>
$ cp images/linux/image.ub <path_to_fat32>
$ cp images/linux/rootfs.tar.gz <path_to_ext4>