blob: dddff4ca3d9f4c8ed126fb6a419e2dd45518f040 [file] [log] [blame]
Jerome Forissier9b6a7a22022-05-06 16:31:05 +02001From 2c634e035c3a5cbd0b6d752cbfa1fabca3f6e530 Mon Sep 17 00:00:00 2001
2From: Jerome Forissier <jerome.forissier@linaro.org>
3Date: Fri, 6 May 2022 15:25:57 +0200
4Subject: [PATCH] Set config for OP-TEE
5
6Enables OP-TEE in the default arm64 configuration.
7
8Signed-off-by: Jerome Forissier <jerome.forissier@linaro.org>
9---
10 xen/arch/arm/configs/arm64_defconfig | 5 +++++
11 1 file changed, 5 insertions(+)
12
13diff --git a/xen/arch/arm/configs/arm64_defconfig b/xen/arch/arm/configs/arm64_defconfig
14index e69de29bb2..fa571067ee 100644
15--- a/xen/arch/arm/configs/arm64_defconfig
16+++ b/xen/arch/arm/configs/arm64_defconfig
17@@ -0,0 +1,5 @@
18+CONFIG_EXPERT=y
19+CONFIG_TEE=y
20+CONFIG_OPTEE=y
21+CONFIG_SCHED_CREDIT2_DEFAULT=y
22+CONFIG_DEBUG_INFO=n
23--
242.34.1
25