前回、途中でビルドの方法が分からず詰まってしまったので、既にビルドされているSDカード用イメージをダウンロードし書き込みを行い、ZedBoardでブートの試行を行ってみた。
ZedBoard用FreeBSDのプレビルドバイナリ
ZedBoard用FreeBSDのバイナリは、以下から入手できる。
FreeBSD on Xilinx Zynq-7000 / Zybo / Zedboard
An SD card image for the Zedboard based upon FreeBSD 11.0-RELEASE-p1 is available here: FreeBSD-armv6-11.0-ZEDBOARD-306420.img.bz2.
ということで、イメージファイルをそのままダウンロードし、解凍した。
SDカードへの書き込みはWindowsから実施し、ツールはWin32DiskImagerというものを利用した。
ダウンロードしたイメージファイルを、SDカードに書き込む。なお、実行には管理者権限が必要だ。
では、このSDカードをZedBoardに差し込み、ZedBoardを起動させてみる。TeraTermが実行の様子を監視し、通信速度は115200を指定した。
うまく起動したようだ。rootでログインできる。
LANケーブルを接続しているため、pingも実行可能だ。おもしろいな。これを使っていろいろ遊べそうだ(その前にきちんと自分でイメージをビルドする方法を確立しなければ...)