# # Automatically generated file; DO NOT EDIT. # Xen/arm 4.11.1-pre Configuration # CONFIG_64BIT=y CONFIG_ARM_64=y CONFIG_ARM=y CONFIG_ARCH_DEFCONFIG="arch/arm/configs/arm64_defconfig" # # Architecture Features # CONFIG_NR_CPUS=128 # CONFIG_ACPI is not set CONFIG_GICV3=y # CONFIG_HAS_ITS is not set # CONFIG_NEW_VGIC is not set CONFIG_SBSA_VUART_CONSOLE=y # # 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_832075=y CONFIG_ARM64_ERRATUM_834220=y CONFIG_HARDEN_BRANCH_PREDICTOR=y CONFIG_ARM64_HARDEN_BRANCH_PREDICTOR=y CONFIG_ALL_PLAT=y # CONFIG_QEMU is not set # CONFIG_RCAR3 is not set # CONFIG_MPSOC is not set CONFIG_ALL64_PLAT=y # CONFIG_ALL32_PLAT is not set CONFIG_MPSOC_PLATFORM=y # # Common Features # CONFIG_HAS_ALTERNATIVE=y CONFIG_HAS_DEVICE_TREE=y # CONFIG_MEM_ACCESS is not set CONFIG_HAS_PDX=y CONFIG_TMEM=y # CONFIG_XSM is not set # # Schedulers # CONFIG_SCHED_CREDIT=y CONFIG_SCHED_CREDIT2=y CONFIG_SCHED_RTDS=y # CONFIG_SCHED_ARINC653 is not set CONFIG_SCHED_NULL=y CONFIG_SCHED_CREDIT_DEFAULT=y # CONFIG_SCHED_CREDIT2_DEFAULT is not set # CONFIG_SCHED_RTDS_DEFAULT is not set # CONFIG_SCHED_NULL_DEFAULT is not set CONFIG_SCHED_DEFAULT="credit" # CONFIG_LIVEPATCH is not set CONFIG_SUPPRESS_DUPLICATE_SYMBOL_WARNINGS=y CONFIG_CMDLINE="" # # Device Drivers # CONFIG_HAS_NS16550=y CONFIG_HAS_CADENCE_UART=y CONFIG_HAS_MVEBU=y CONFIG_HAS_PL011=y CONFIG_HAS_SCIF=y CONFIG_HAS_PASSTHROUGH=y CONFIG_ARM_SMMU=y CONFIG_VIDEO=y CONFIG_HAS_ARM_HDLCD=y CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG" # # Debugging Options # # CONFIG_DEBUG is not set # CONFIG_FRAME_POINTER is not set # CONFIG_COVERAGE is not set # CONFIG_LOCK_PROFILE is not set # CONFIG_PERF_COUNTERS is not set # CONFIG_VERBOSE_DEBUG is not set # CONFIG_DEVICE_TREE_DEBUG is not set # CONFIG_SCRUB_DEBUG is not set