#
# Automatically generated file; DO NOT EDIT.
# Xen/arm 4.17-unstable Configuration
#
CONFIG_CC_IS_GCC=y
CONFIG_GCC_VERSION=90300
CONFIG_CLANG_VERSION=0
CONFIG_CC_HAS_VISIBILITY_ATTRIBUTE=y
CONFIG_ARM_64=y
CONFIG_ARM=y
CONFIG_ARCH_DEFCONFIG="arch/arm/configs/arm64_defconfig"

#
# Architecture Features
#
CONFIG_64BIT=y
CONFIG_NR_CPUS=128
# CONFIG_ACPI is not set
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=y
CONFIG_OPTEE=y
# 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_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=y
# CONFIG_QEMU is not set
# CONFIG_RCAR3 is not set
# CONFIG_RCAR4 is not set
# CONFIG_MPSOC is not set
# CONFIG_NO_PLAT is not set
CONFIG_ALL64_PLAT=y
CONFIG_MPSOC_PLATFORM=y
CONFIG_RCAR4_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_MEM_ACCESS is not set
# CONFIG_STATIC_MEMORY is not set

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

CONFIG_HYPFS=y
CONFIG_HYPFS_CONFIG=y
CONFIG_IOREQ_SERVER=y
# CONFIG_EFI_SET_VIRTUAL_ADDRESS_MAP is not set
CONFIG_XSM=y
CONFIG_XSM_FLASK=y
CONFIG_XSM_FLASK_AVC_STATS=y
# CONFIG_XSM_FLASK_POLICY is not set
CONFIG_XSM_SILO=y
# CONFIG_XSM_DUMMY_DEFAULT is not set
# CONFIG_XSM_FLASK_DEFAULT is not set
CONFIG_XSM_SILO_DEFAULT=y
CONFIG_LATE_HWDOM=y
# CONFIG_ARGO is not set

#
# Schedulers
#
CONFIG_SCHED_CREDIT=y
CONFIG_SCHED_CREDIT2=y
CONFIG_SCHED_RTDS=y
CONFIG_SCHED_ARINC653=y
CONFIG_SCHED_NULL=y
# CONFIG_SCHED_CREDIT_DEFAULT is not set
CONFIG_SCHED_CREDIT2_DEFAULT=y
# CONFIG_SCHED_RTDS_DEFAULT is not set
# CONFIG_SCHED_ARINC653_DEFAULT is not set
# CONFIG_SCHED_NULL_DEFAULT is not set
CONFIG_SCHED_DEFAULT="credit2"
# end of Schedulers

# CONFIG_LIVEPATCH is not set
# CONFIG_ENFORCE_UNIQUE_SYMBOLS is not set
# CONFIG_SUPPRESS_DUPLICATE_SYMBOL_WARNINGS is not set
CONFIG_CMDLINE=""
CONFIG_DOM0_MEM=""
CONFIG_DTB_FILE=""
CONFIG_TRACEBUFFER=y
# end of Common Features

#
# Device Drivers
#
CONFIG_HAS_NS16550=y
CONFIG_HAS_CADENCE_UART=y
CONFIG_HAS_MVEBU=y
CONFIG_HAS_MESON=y
CONFIG_HAS_PL011=y
CONFIG_HAS_SCIF=y
CONFIG_HAS_PASSTHROUGH=y
CONFIG_ARM_SMMU=y
CONFIG_ARM_SMMU_V3=y
CONFIG_IPMMU_VMSA=y
CONFIG_IOMMU_FORCE_PT_SHARE=y
# CONFIG_IOMMU_QUARANTINE_NONE is not set
CONFIG_IOMMU_QUARANTINE_BASIC=y
# CONFIG_IOMMU_QUARANTINE_SCRATCH_PAGE is not set
CONFIG_HAS_PCI=y
CONFIG_HAS_VPCI=y
CONFIG_HAS_VPCI_GUEST_SUPPORT=y
# end of Device Drivers

CONFIG_EXPERT=y
CONFIG_UNSUPPORTED=y

#
# Debugging Options
#
CONFIG_DEBUG=y
CONFIG_DEBUG_INFO=y
CONFIG_FRAME_POINTER=y
# CONFIG_COVERAGE is not set
# CONFIG_DEBUG_LOCK_PROFILE is not set
CONFIG_DEBUG_LOCKS=y
# CONFIG_PERF_COUNTERS is not set
CONFIG_VERBOSE_DEBUG=y
# CONFIG_DEVICE_TREE_DEBUG is not set
CONFIG_SCRUB_DEBUG=y
# CONFIG_DEBUG_TRACE is not set
CONFIG_XMEM_POOL_POISON=y
# CONFIG_EARLY_UART_CHOICE_8250 is not set
# CONFIG_EARLY_UART_CHOICE_CADENCE is not set
# CONFIG_EARLY_UART_CHOICE_MESON is not set
# CONFIG_EARLY_UART_CHOICE_MVEBU is not set
# CONFIG_EARLY_UART_CHOICE_PL011 is not set
CONFIG_EARLY_UART_CHOICE_SCIF=y
# CONFIG_EARLY_PRINTK_BRCM is not set
# CONFIG_EARLY_PRINTK_DRA7 is not set
# CONFIG_EARLY_PRINTK_FASTMODEL is not set
# CONFIG_EARLY_PRINTK_HIKEY960 is not set
# CONFIG_EARLY_PRINTK_JUNO is not set
# CONFIG_EARLY_PRINTK_LAGER is not set
# CONFIG_EARLY_PRINTK_MIDWAY is not set
# CONFIG_EARLY_PRINTK_MVEBU is not set
# CONFIG_EARLY_PRINTK_OMAP5432 is not set
# CONFIG_EARLY_PRINTK_RCAR3 is not set
# CONFIG_EARLY_PRINTK_SEATTLE is not set
# CONFIG_EARLY_PRINTK_SUN6I is not set
# CONFIG_EARLY_PRINTK_SUN7I is not set
# CONFIG_EARLY_PRINTK_THUNDERX is not set
# CONFIG_EARLY_PRINTK_VEXPRESS is not set
# CONFIG_EARLY_PRINTK_XGENE_MCDIVITT is not set
# CONFIG_EARLY_PRINTK_XGENE_STORM is not set
# CONFIG_EARLY_PRINTK_ZYNQMP is not set
CONFIG_EARLY_UART_SCIF=y
CONFIG_EARLY_PRINTK=y
CONFIG_EARLY_UART_BASE_ADDRESS=0xe6540000
CONFIG_EARLY_UART_SCIF_VERSION_NONE=y
# CONFIG_EARLY_UART_SCIF_VERSION_A is not set
CONFIG_EARLY_PRINTK_INC="debug-scif.inc"
# end of Debugging Options