#
# Automatically generated file; DO NOT EDIT.
# Xen/arm 4.12.0 Configuration
#
# CONFIG_64BIT is not set
CONFIG_ARM_32=y
CONFIG_ARM=y
CONFIG_ARCH_DEFCONFIG="arch/arm/configs/arm32_defconfig"

#
# Architecture Features
#
CONFIG_NR_CPUS=128
CONFIG_HVM=y
# CONFIG_NEW_VGIC is not set
CONFIG_SBSA_VUART_CONSOLE=y
CONFIG_ARM_SSBD=y
CONFIG_HARDEN_BRANCH_PREDICTOR=y

#
# ARM errata workaround via the alternative framework
#
CONFIG_ARM32_HARDEN_BRANCH_PREDICTOR=y
CONFIG_ALL_PLAT=y
# CONFIG_NO_PLAT is not set
# CONFIG_ALL64_PLAT is not set
CONFIG_ALL32_PLAT=y
# CONFIG_MPSOC_PLATFORM is not set

#
# Common Features
#
CONFIG_HAS_ALTERNATIVE=y
CONFIG_HAS_DEVICE_TREE=y
# CONFIG_MEM_ACCESS is not set
CONFIG_HAS_PDX=y
# CONFIG_XSM is not set
CONFIG_SCHED_CREDIT=y
CONFIG_SCHED_CREDIT2=y
CONFIG_SCHED_RTDS=y
# CONFIG_SCHED_ARINC653 is not set
CONFIG_SCHED_NULL=y
CONFIG_SCHED_DEFAULT="credit2"
# CONFIG_LIVEPATCH is not set
CONFIG_SUPPRESS_DUPLICATE_SYMBOL_WARNINGS=y
CONFIG_CMDLINE=""
CONFIG_DOM0_MEM=""

#
# Device Drivers
#
CONFIG_HAS_NS16550=y
CONFIG_HAS_PL011=y
CONFIG_HAS_EXYNOS4210=y
CONFIG_HAS_OMAP=y
CONFIG_HAS_SCIF=y
CONFIG_HAS_PASSTHROUGH=y
CONFIG_ARM_SMMU=y
CONFIG_DEFCONFIG_LIST="arch/arm/configs/arm32_defconfig"

#
# Debugging Options
#
# CONFIG_DEBUG is not set