A Working copy of TrustZone (OPTEE 3.1.0) using Debian (Ubuntu) 64 bit FileSystem.
- First, burn the official Ubunut 64 bit image to micro sd card and see if RPi3 boots. Image Name/Link:
ubuntu-18.04.2-preinstalled-server-arm64+raspi3.img.xz
https://wiki.ubuntu.com/ARM/RaspberryPi
- In the host machine:
- Download toolchains for build:
cd /build
make -j2 toolchains
- Now Make:
make -j `nproc`
See the details in OPTEE Guide: https://optee.readthedocs.io/building/gits/build.html#build
- Run check
copy_to_sdcard.sh
for details of copying the compiled code to Raspberry Pi