ARM64: tizen_bcmrpi3_defconfig: Enable TEE Driver
authoregukim <egukim@dignsys.com>
Mon, 3 Jul 2017 05:00:28 +0000 (14:00 +0900)
committerJunghoon Kim <jhoon20.kim@samsung.com>
Tue, 11 Jun 2019 00:35:52 +0000 (09:35 +0900)
Set config CONFIG_TEE, CONFIG_OPTEE for enable optee kernel driver

Change-Id: Ib35167d8337126886b2bef03acf3aef6163d61ae
Signed-off-by: Eunggu kim <egukim@dignsys.com>
arch/arm64/configs/tizen_bcmrpi3_defconfig

index 85d0534..197dbc8 100644 (file)
@@ -3333,7 +3333,12 @@ CONFIG_ANDROID=y
 # FPGA Configuration Support
 #
 # CONFIG_FPGA is not set
-# CONFIG_TEE is not set
+CONFIG_TEE=y
+
+#
+# TEE drivers
+#
+CONFIG_OPTEE=y
 
 #
 # Firmware Drivers