#
# For a description of the syntax of this configuration file,
# see the file kconfig-language.txt in the NuttX tools repository.
#

config LIBTEEC
	bool "TEE client library (libteec)"
	default n
	---help---
		Enable libteec from https://github.com/OP-TEE/optee_client. This
		is OP-TEE project's implementation of GlobalPlatform's TEE client
		API specification v1.0 (GPD_SPE_007):
		https://globalplatform.org/specs-library/?filter-committee=tee
		The TEE Client API describes and defines how a client running in
		a rich operating environment (REE, in this case NuttX) should
		communicate with the Trusted Execution Environment (TEE) and its
		Trusted Applications (TAs). The library provides a
		well-established and easy-to-use interface abstracting away much
		of the details of the underlying subsystems. For more information
		please refer to:
		https://optee.readthedocs.io/en/latest/architecture/globalplatform_api.html#tee-client-api

if LIBTEEC

config OPTEE_CLIENT_VERSION
	string "optee_client version (4.6.0)"
	default "4.6.0"

endif # LIBTEEC

config OPTEE_SUPPLICANT
	bool "OP-TEE supplicant"
	depends on LIBTEEC
	default n
	---help---
		Enable OP-TEE supplicant from https://github.com/OP-TEE/optee_client.

if OPTEE_SUPPLICANT

config OPTEE_SUPPLICANT_PROGNAME
	string "Program name"
	default "optee_supplicant"
	---help---
		This is the name of the program that will be used when the NSH ELF
		program is installed.

config OPTEE_SUPPLICANT_PRIORITY
	int "OP-TEE supplicant task priority"
	default 100

config OPTEE_SUPPLICANT_STACKSIZE
	int "OP-TEE supplicant stack size"
	default DEFAULT_TASK_STACKSIZE

config OPTEE_SUPPLICANT_LOG_LEVEL
	int "Log level for the supplicant (0‑4)"
	range 0 4
	default 0

endif # OPTEE_SUPPLICANT
