A TEE solution for Raspberry Pi using OP-TEE, built on TF-A, U-Boot, and buildroot. This is our implementation to get a version of this working, and is not supported by the above projects.
Currently only supports Raspberry Pi 3B+
The only prior dependency, while building on an Ubuntu 22.04 system, should be make which can be installed via sudo apt install make, though it is recommended to build on a VM or container to remove external factors
git clone https://github.com/BT-Summer/RPi-OP-TEE-Verified-Boot.git
cd https://github.com/BT-Summer/RPi-OP-TEE-Verified-Boot.git
makeThis should generate a file in optee/out called rpi3-sccard.img which can be simply flashed to an SD card using your favorite image flasher, then booted on a Raspberry Pi.
TODO: will be added as we move toward an upcoming presentation
This is not an official OP-TEE, U-Boot, or TF-A project; any updates should be pushed through the Issues tab in this repo.
We are purely interested only in updates for running these scripts on Ubuntu 22.04; feel free to fork if you wish to get this working on another distro.
Based on OP-TEE, U-Boot, and TF-A.
Developed by Eden Hamilton and Thomas Gymer
Distributed under the BSD 3-Clause License
We are currently only maintaining this project, though may pick it up again as part of university projects.