1CONFIG_UNSUPPORTED=y
2CONFIG_TEE=y
3CONFIG_OPTEE=y
4CONFIG_FFA=y
5
6# CONFIG_ACPI is not set
7# CONFIG_HAS_ITS is not set
8# CONFIG_EFI_SET_VIRTUAL_ADDRESS_MAP is not set
9# CONFIG_ARGO is not set
10
11# CONFIG_SCHED_ARINC653 is not set
12
13# CONFIG_SCHED_CREDIT_DEFAULT is not set
14CONFIG_SCHED_CREDIT2_DEFAULT=y
15# CONFIG_SCHED_RTDS_DEFAULT is not set
16# CONFIG_SCHED_NULL_DEFAULT is not set
17
18# CONFIG_IPMMU_VMSA is not set
19#
20# CONFIG_DEBUG is not set
21CONFIG_DEBUG_INFO=n
22# CONFIG_FRAME_POINTER is not set
23# CONFIG_COVERAGE is not set
24# CONFIG_DEBUG_LOCK_PROFILE is not set
25# CONFIG_DEBUG_LOCKS is not set
26# CONFIG_PERF_COUNTERS is not set
27# CONFIG_VERBOSE_DEBUG is not set
28# CONFIG_DEVICE_TREE_DEBUG is not set
29# CONFIG_SCRUB_DEBUG is not set
30# CONFIG_DEBUG_TRACE is not set
31# CONFIG_XMEM_POOL_POISON is not set
32