CONFIG_TEE=y
CONFIG_OPTEE=y
# SCMI support
CONFIG_ARM_SCMI_PROTOCOL=y
CONFIG_COMMON_CLK_SCMI=y
CONFIG_REGULATOR_ARM_SCMI=y
# CONFIG_SENSORS_ARM_SCMI is not set
CONFIG_RESET_SCMI=y