ATF
ATFの作成を行います。この作業は仮想マシン上のLinuxで行います。LinuxにはXilinx SDK 2017.4をインストールしておいてください。ATFは別名bl31とも呼ばれているようで、この作業によってbl31.elfという実行ファイルが生成されます。
ATFの作成に必要なソースをこちらhttps://github.com/Xilinx/arm-trusted-firmwareからダウンロードします。
Terminal上で
tokuden$ git clone https://github.com/Xilinx/arm-trusted-firmware
tokuden$ cd arm-trusted-firmware
tokuden$ git checkout -b xilinx2017.4-atf-zynqmp
とレポジトリを複製し、xilinx2017.4-atf-zynqmpという新しいブランチをチェックアウトしておきます。
実際にATFをビルドしていきます。
tokuden$ make CROSS_COMPILE="/opt/Xilinx/SDK/2017.4/gnu/aarch64/lin/aarch64-linux/bin/aarch64-linux-gnu-" PLAT=zynqmp RESET_TO_BL31=1 DEBUG=1
とコマンドを入力し、ビルドします。build/zynqmp/debug/bl31ディレクトリにbl31.elfが生成されます。
また、arm-trusted-firmware/bl31以下にはATFのソースコードが含まれているようです。