ARM64: configs: artik710_raptor: Enable OPTEE Driver
authoregukim <egukim@dignsys.com>
Wed, 11 Oct 2017 08:59:25 +0000 (17:59 +0900)
committerJaehoon Chung <jh80.chung@samsung.com>
Tue, 29 Jan 2019 02:25:34 +0000 (11:25 +0900)
Enable OPTEE Driver option.

Change-Id: Ibff6f828920ef24b9a6155ff8aea07c61da74b19
Signed-off-by: egukim <egukim@dignsys.com>
arch/arm64/configs/artik710_raptor_defconfig

index 5a1f7ec99d613f5900ce2929587854d7848f7d47..38536120113810fa0278694ea422b98935dfad15 100644 (file)
@@ -526,6 +526,8 @@ CONFIG_NX_ADC=y
 CONFIG_PWM=y
 CONFIG_PWM_SAMSUNG=y
 # CONFIG_GATOR is not set
+CONFIG_TEE=y
+CONFIG_OPTEE=y
 CONFIG_EXT2_FS=y
 CONFIG_EXT2_FS_XATTR=y
 CONFIG_EXT2_FS_POSIX_ACL=y