boot/optee-os/Config.in

5 	  OP-TEE OS provides the secure world boot image and the trust
6 	  application development kit of the OP-TEE project. OP-TEE OS
10 	  http://github.com/OP-TEE/optee_os
15 	prompt "OP-TEE OS version"
18 	  Select the version of OP-TEE OS you want to use
23 	  Use the latest release tag from the OP-TEE OS official Git
61 	  This option will build and install the OP-TEE core
68 	  This option will build and install the OP-TEE development
69 	  kit for building OP-TEE trusted application images. It is
78 	  trusted shared libraries built from OP-TEE OS source tree.
80 	  as other trusted applications. At runtime OP-TEE OS can
88 	  OP-TEE OS.
94 	  provided to OP-TEE OS.
99 	  Additional parameters for the OP-TEE OS build