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