UBUNTU: [Config] CONFIG_TEE=m

Signed-off-by: Paolo Pisati <paolo.pisati@canonical.com>

diff --git a/debian.raspi2/config/config.common.ubuntu b/debian.raspi2/config/config.common.ubuntu
index 9c80a2481fba141d32ddbec1b04eb6a47f5292bf..c02416a4870d8de0132d1e4cd61ea69d74b8ab10 100644 (file)
--- a/debian.raspi2/config/config.common.ubuntu
+++ b/debian.raspi2/config/config.common.ubuntu
@@ -4175,6 +4175,7 @@ CONFIG_OPENVSWITCH_GRE=m
 CONFIG_OPENVSWITCH_VXLAN=m
 CONFIG_OPROFILE=m
 CONFIG_OPT3001=m
+# CONFIG_OPTEE is not set
 # CONFIG_ORANGEFS_FS is not set
 CONFIG_ORE=m
 CONFIG_OSF_PARTITION=y
@@ -5667,7 +5668,7 @@ CONFIG_TCP_CONG_YEAH=m
 CONFIG_TCP_MD5SIG=y
 CONFIG_TCS3414=m
 CONFIG_TCS3472=m
-# CONFIG_TEE is not set
+CONFIG_TEE=m
 CONFIG_TEKRAM_DONGLE=m
 CONFIG_TERANETICS_PHY=m
 # CONFIG_TEST_ASYNC_DRIVER_PROBE is not set