#
# Automatically generated file; DO NOT EDIT.
# Xen/arm 4.17-unstable Configuration
#
CONFIG_CC_IS_GCC=y
CONFIG_GCC_VERSION=100201
CONFIG_CLANG_VERSION=0
CONFIG_CC_HAS_VISIBILITY_ATTRIBUTE=y
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=y
# CONFIG_SBSA_VUART_CONSOLE is not set
# CONFIG_ARM_SSBD is not set
CONFIG_HARDEN_BRANCH_PREDICTOR=y
CONFIG_TEE=y
CONFIG_OPTEE=y
# end of Architecture Features

#
# ARM errata workaround via the alternative framework
#
# CONFIG_ARM_ERRATUM_858921 is not set
# end of ARM errata workaround via the alternative framework

CONFIG_ARM32_HARDEN_BRANCH_PREDICTOR=y
CONFIG_ALL_PLAT=y
# CONFIG_NO_PLAT is not set
CONFIG_ALL32_PLAT=y

#
# Common Features
#
# CONFIG_GRANT_TABLE is not set
CONFIG_HAS_ALTERNATIVE=y
CONFIG_HAS_DEVICE_TREE=y
CONFIG_HAS_PDX=y
CONFIG_MEM_ACCESS=y
# CONFIG_STATIC_MEMORY is not set

#
# Speculative hardening
#
CONFIG_SPECULATIVE_HARDEN_ARRAY=y
# end of Speculative hardening

CONFIG_HYPFS=y
# CONFIG_HYPFS_CONFIG is not set
CONFIG_IOREQ_SERVER=y
CONFIG_EFI_SET_VIRTUAL_ADDRESS_MAP=y
# CONFIG_XSM is not set
CONFIG_ARGO=y

#
# Schedulers
#
CONFIG_SCHED_CREDIT=y
# CONFIG_SCHED_CREDIT2 is not set
# CONFIG_SCHED_RTDS is not set
# CONFIG_SCHED_ARINC653 is not set
CONFIG_SCHED_NULL=y
CONFIG_SCHED_CREDIT_DEFAULT=y
# CONFIG_SCHED_NULL_DEFAULT is not set
CONFIG_SCHED_DEFAULT="credit"
# end of Schedulers

# 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=y
# end of Common Features

#
# Device Drivers
#
CONFIG_HAS_NS16550=y
# CONFIG_HAS_PL011 is not set
CONFIG_HAS_EXYNOS4210=y
CONFIG_HAS_OMAP=y
# CONFIG_HAS_SCIF is not set
CONFIG_HAS_PASSTHROUGH=y
CONFIG_ARM_SMMU=y
CONFIG_IOMMU_FORCE_PT_SHARE=y
# end of Device Drivers

CONFIG_EXPERT=y
CONFIG_UNSUPPORTED=y

#
# Debugging Options
#
CONFIG_DEBUG=y
# CONFIG_DEBUG_INFO is not set
# CONFIG_FRAME_POINTER is not set
# CONFIG_COVERAGE is not set
# CONFIG_DEBUG_LOCK_PROFILE is not set
# CONFIG_DEBUG_LOCKS is not set
CONFIG_PERF_COUNTERS=y
CONFIG_PERF_ARRAYS=y
# CONFIG_VERBOSE_DEBUG is not set
CONFIG_DEVICE_TREE_DEBUG=y
CONFIG_SCRUB_DEBUG=y
# CONFIG_DEBUG_TRACE is not set
# CONFIG_XMEM_POOL_POISON is not set
# end of Debugging Options