Skip to content

Latest commit

 

History

History
45 lines (27 loc) · 1.04 KB

devbox.rst

File metadata and controls

45 lines (27 loc) · 1.04 KB
Raw

DeveloperBox

The instructions here will tell how to build OP-TEE for DeveloperBox.

Build instructions

  1. Follow the "get_and_build_the_solution" in build from step 1 to step 3.

  2. Initialize EDK2 submodule

    $ cd <optee-project>/edk2
$ git submodule update --init
  3. Follow "get_and_build_the_solution" step 4 & 5

  4. Stage a new OP-TEE update capsule. This updates TF-A, OP-TEE and UEFI.

    $ fwupdate --apply {50b94ce5-8b63-4849-8af4-ea479356f0e3} \
  > <optee-project>/edk2-platforms/Build/DeveloperBox/RELEASE_GCC5/FV/\
  > SYNQUACERFIRMWAREUPDATECAPSULEFMPPKCS7.Cap

    Hint

    Change RELEASE_GCC5 to DEBUG_GCC5 for debug build.

  5. Reboot to update.
  6. Follow the rest of"get_and_build_the_solution" from step 7