DeveloperBox
The instructions here will tell how to build OP-TEE for DeveloperBox.
Build instructions
Follow the “Get and build the solution” in build from step 1 to step 3.
Initialize EDK2 submodule
1$ cd <optee-project>/edk2 2$ git submodule update --init
Follow “Get and build the solution” step 4 & 5
Stage a new OP-TEE update capsule. This updates TF-A, OP-TEE and UEFI.
1$ fwupdate --apply {50b94ce5-8b63-4849-8af4-ea479356f0e3} \ 2 > <optee-project>/edk2-platforms/Build/DeveloperBox/RELEASE_GCC5/FV/\ 3 > SYNQUACERFIRMWAREUPDATECAPSULEFMPPKCS7.Cap
Hint
Change
RELEASE_GCC5
toDEBUG_GCC5
for debug build.Reboot to update.
Follow the rest of”Get and build the solution” from step 7