ZynqMP zcu10x and Ultra96¶
Instructions below show how to run OP-TEE on ZynqMP zcu10x and Ultra96 board.
This makefile supports the following ZynqMP boards:
Setting up the toolchain¶
This build chain heavily relies on Petalinux 2018.2 therefore the first step is to download and install the Petalinux 2018.2 toolchain from the Xilinx website (Downloads). Then, you have to download the needed BSP file from the Xilinx website (Downloads). You may have to create a free Xilinx account to proceed with the two previous steps.
Configuring and building for zcu102 board¶
First, create a new directory which will be used as root directory:
$ mkdir -p ~/petalinux-optee
$ cd ~/petalinux-optee
Then, copy the zcu102 BSP file into the newly created directory:
$ cp ~/Downloads/xilinx-zcu102-v2018.2-final.bsp .
Git clone the
build repository of the OP-TEE project and source the
$ git clone https://github.com/OP-TEE/build
$ cd ./build
$ source /path/to/petalinux/settings.sh
Finally, use the following commands to create, patch, configure and build the Petalinux project. Petalinux is a powerful but very slow tool, each command may take a while according to the capabilities of your computer.
$ make -f zynqmp.mk
Once the last command ends up you are ready to run QEMU tool or to make a bootable SD card. To run QEMU:
$ make -f zynqmp.mk qemu
QEMU will start and launch Petalinux distribution. At the end of the boot
process, log in using username
root and password
root. Start the OP-TEE
Normal World service and run xtest:
$ tee-supplicant -d
You can close QEMU session at any time by typing
Ctrl-A+C and entering the
Configuring and building for other ZynqMP boards¶
To use this makefile with other supported boards, you have to download the
corresponding BSP and add option
PLATFORM to each make command.
$ make -f zynqmp.mk PLATFORM=zcu106
$ make -f zynqmp.mk PLATFORM=zcu106 qemu
Hereafter the list of available
On Ultra96 board, UART is not directly available. You have to connect through WIFI Access Point using the procedure detailed here Getting started.
SD card creation¶
After completion of building process, you can create a bootable SD card. Here,
we consider that SD card corresponds to
/dev/sdb. We will use
gparted or any other partition manager tool create two partitions on
- 1GB FAT32 bootable partition (
- EXT4 partition on the remaining memory space (
Once SD card is partitioned, use the following commands:
$ cp /path/to/project/images/linux/BOOT.BIN /dev/sdb1
$ cp /path/to/project/images/linux/image.ub /dev/sdb1
$ sudo e2image -rap /path/to/project/images/linux/rootfs.ext4 /dev/sdb2
Now you can use the newly created SD card to boot your board.
Check that your board is actually configured to boot on the SD card.
Building a given version of OP-TEE¶
By default, the lastest version of OP-TEE is built. If you wish you can build a
given version of OP-TEE instead of the last one by using variable
petalinux-config. See below an example where OP-TEE v3.4.0 is
$ make -f zynqmp.mk petalinux-create
$ make -f zynqmp.mk OPTEE_VER=3.4.0 petalinux-config
$ make -f zynqmp.mk petalinux-build