Files
xen/automation/eclair_analysis/xen_arm_config
T
Simone Ballarin 79c18114c7 automation/eclair: update analyzed builds
The xen build for ARM64 now has new configuration options which
require to be defined: this patch defines them.

In both configuration files some no longer true comments have been removed.

Signed-off-by: Simone Ballarin <simone.ballarin@bugseng.com>
Acked-by: Stefano Stabellini <sstabellini@kernel.org>
2023-08-09 17:06:33 -07:00

142 lines
2.9 KiB
Plaintext

CONFIG_CC_IS_GCC=y
CONFIG_GCC_VERSION=90400
CONFIG_CLANG_VERSION=0
CONFIG_LD_IS_GNU=y
CONFIG_CC_HAS_VISIBILITY_ATTRIBUTE=y
CONFIG_ARM_64=y
CONFIG_ARM=y
CONFIG_ARCH_DEFCONFIG="arch/arm/configs/arm64_defconfig"
# UBSAN
CONFIG_UBSAN=n
#
# Architecture Features
#
CONFIG_ARM64_SVE=n
CONFIG_64BIT=y
CONFIG_NR_CPUS=4
# CONFIG_ACPI is not set
CONFIG_ARM_EFI=y
CONFIG_GICV3=y
CONFIG_HAS_ITS=y
CONFIG_HVM=y
# CONFIG_NEW_VGIC is not set
CONFIG_SBSA_VUART_CONSOLE=y
CONFIG_ARM_SSBD=y
CONFIG_HARDEN_BRANCH_PREDICTOR=y
CONFIG_TEE=n
CONFIG_OPTEE=n
CONFIG_FFA=n
# CONFIG_STATIC_SHM is not set
# end of Architecture Features
#
# ARM errata workaround via the alternative framework
#
CONFIG_ARM64_ERRATUM_827319=y
CONFIG_ARM64_ERRATUM_824069=y
CONFIG_ARM64_ERRATUM_819472=y
CONFIG_ARM64_ERRATUM_843419=y
CONFIG_ARM64_ERRATUM_832075=y
CONFIG_ARM64_ERRATUM_834220=y
CONFIG_ARM64_ERRATUM_1508412=y
CONFIG_ARM_ERRATUM_858921=y
CONFIG_ARM64_WORKAROUND_REPEAT_TLBI=y
CONFIG_ARM64_ERRATUM_1286807=y
# end of ARM errata workaround via the alternative framework
CONFIG_ARM64_HARDEN_BRANCH_PREDICTOR=y
# CONFIG_ALL_PLAT is not set
# CONFIG_QEMU is not set
# CONFIG_RCAR3 is not set
CONFIG_MPSOC=y
# CONFIG_NO_PLAT is not set
CONFIG_MPSOC_PLATFORM=y
#
# Common Features
#
CONFIG_GRANT_TABLE=y
CONFIG_HAS_ALTERNATIVE=y
CONFIG_HAS_DEVICE_TREE=y
CONFIG_HAS_FAST_MULTIPLY=y
CONFIG_HAS_PDX=y
CONFIG_HAS_PMAP=y
# CONFIG_MEM_ACCESS is not set
CONFIG_STATIC_MEMORY=y
#
# Speculative hardening
#
CONFIG_SPECULATIVE_HARDEN_ARRAY=y
# end of Speculative hardening
# CONFIG_HYPFS is not set
CONFIG_IOREQ_SERVER=y
# CONFIG_EFI_SET_VIRTUAL_ADDRESS_MAP is not set
# CONFIG_XSM is not set
# CONFIG_ARGO is not set
#
# Schedulers
#
# CONFIG_SCHED_CREDIT is not set
CONFIG_SCHED_CREDIT2=y
# CONFIG_SCHED_RTDS is not set
# CONFIG_SCHED_ARINC653 is not set
CONFIG_SCHED_NULL=y
CONFIG_SCHED_CREDIT2_DEFAULT=y
# CONFIG_SCHED_NULL_DEFAULT is not set
CONFIG_SCHED_DEFAULT="credit2"
# end of Schedulers
CONFIG_BOOT_TIME_CPUPOOLS=y
# CONFIG_LIVEPATCH is not set
# CONFIG_ENFORCE_UNIQUE_SYMBOLS is not set
CONFIG_SUPPRESS_DUPLICATE_SYMBOL_WARNINGS=y
CONFIG_CMDLINE=""
CONFIG_DOM0_MEM=""
CONFIG_DTB_FILE=""
# CONFIG_TRACEBUFFER is not set
# end of Common Features
#
# Device Drivers
#
# CONFIG_HAS_NS16550 is not set
CONFIG_HAS_CADENCE_UART=y
# CONFIG_HAS_IMX_LPUART is not set
# CONFIG_HAS_MVEBU is not set
# CONFIG_HAS_MESON is not set
CONFIG_HAS_PL011=y
# CONFIG_HAS_SCIF is not set
CONFIG_SERIAL_TX_BUFSIZE=16384
CONFIG_HAS_PASSTHROUGH=y
CONFIG_ARM_SMMU=y
CONFIG_ARM_SMMU_V3=y
# CONFIG_IPMMU_VMSA is not set
CONFIG_IOMMU_FORCE_PT_SHARE=y
# end of Device Drivers
CONFIG_EXPERT=y
CONFIG_UNSUPPORTED=y
#
# Debugging Options
#
CONFIG_DEBUG=y
CONFIG_FRAME_POINTER=y
CONFIG_COVERAGE=y
CONFIG_DEBUG_LOCK_PROFILE=y
CONFIG_DEBUG_LOCKS=y
CONFIG_PERF_COUNTERS=y
CONFIG_PERF_ARRAYS=y
CONFIG_VERBOSE_DEBUG=y
CONFIG_DEVICE_TREE_DEBUG=y
CONFIG_SCRUB_DEBUG=y
CONFIG_DEBUG_TRACE=y
CONFIG_XMEM_POOL_POISON=y
CONFIG_DEBUG_INFO=y
# end of Debugging Options