ARM64: tizen_bcmrpi3_defconfig: Enable TEE Driver 50/141150/5
authoregukim <egukim@dignsys.com>
Mon, 3 Jul 2017 05:00:28 +0000 (14:00 +0900)
committerSeung-Woo Kim <sw0312.kim@samsung.com>
Thu, 19 Oct 2017 04:42:32 +0000 (13:42 +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 eadbb3bb9ce7080f1b45cbc46f61e194177e1816..250c171bd06475223d615f6bb142fd3eaba7ca72 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