CONFIG_ARM64=y
CONFIG_64BIT=y
CONFIG_ARCH_PHYS_ADDR_T_64BIT=y
CONFIG_GENERIC_CSUM=y
CONFIG_ARCH_DMA_ADDR_T_64BIT=y
CONFIG_FIX_EARLYCON_MEM=y

#
# RCU Subsystem
#
# CONFIG_CONTEXT_TRACKING_FORCE is not set
CONFIG_RCU_FANOUT=64
CONFIG_SYSCTL_EXCEPTION_TRACE=y

#
# Kernel Performance Events And Counters
#
CONFIG_ARCH_WANT_COMPAT_IPC_PARSE_VERSION=y
CONFIG_MODULES_USE_ELF_RELA=y
CONFIG_COMPAT_OLD_SIGACTION=y

#
# Partition Types
#
CONFIG_BLOCK_COMPAT=y

#
# IO Schedulers
#
CONFIG_PREEMPT_NOTIFIERS=y

#
# Platform selection
#
# CONFIG_ARCH_EXYNOS7 is not set
# CONFIG_ARCH_FSL_LS2085A is not set
# CONFIG_ARCH_MEDIATEK is not set
# CONFIG_ARCH_QCOM is not set
CONFIG_ARCH_SEATTLE=y
# CONFIG_ARCH_TEGRA is not set
# CONFIG_ARCH_SPRD is not set
# CONFIG_ARCH_THUNDER is not set
CONFIG_ARCH_XGENE=y
# CONFIG_ARCH_ZYNQMP is not set

#
# Bus support
#
CONFIG_PCI_BUS_ADDR_T_64BIT=y
CONFIG_PCI_LABEL=y

#
# PCI host controller drivers
#
CONFIG_PCI_XGENE=y
CONFIG_HOTPLUG_PCI_PCIE=y
CONFIG_HOTPLUG_PCI=y
CONFIG_HOTPLUG_PCI_ACPI=y
CONFIG_HOTPLUG_PCI_ACPI_IBM=y
CONFIG_HOTPLUG_PCI_CPCI=y
CONFIG_HOTPLUG_PCI_SHPC=m

#
# ARM errata workarounds via the alternatives framework
#
CONFIG_ARM64_ERRATUM_826319=y
CONFIG_ARM64_ERRATUM_827319=y
CONFIG_ARM64_ERRATUM_824069=y
CONFIG_ARM64_ERRATUM_819472=y
CONFIG_ARM64_ERRATUM_832075=y
CONFIG_ARM64_ERRATUM_845719=y
# CONFIG_ARM64_4K_PAGES is not set
CONFIG_ARM64_64K_PAGES=y
CONFIG_ARM64_VA_BITS_42=y
# CONFIG_ARM64_VA_BITS_48 is not set
CONFIG_ARM64_VA_BITS=42
CONFIG_NR_CPUS=64
CONFIG_HZ=100
CONFIG_ARCH_SPARSEMEM_ENABLE=y
CONFIG_ARCH_SPARSEMEM_DEFAULT=y
CONFIG_ARCH_SELECT_MEMORY_MODEL=y
CONFIG_SYS_SUPPORTS_HUGETLBFS=y
CONFIG_ARCH_HAS_CACHE_LINE_SIZE=y
CONFIG_SELECT_MEMORY_MODEL=y
CONFIG_SPARSEMEM_MANUAL=y
CONFIG_SPARSEMEM=y
CONFIG_SPARSEMEM_EXTREME=y
CONFIG_SPARSEMEM_VMEMMAP_ENABLE=y
CONFIG_SPARSEMEM_VMEMMAP=y
CONFIG_PHYS_ADDR_T_64BIT=y
CONFIG_MMU_NOTIFIER=y
# CONFIG_TRANSPARENT_HUGEPAGE is not set
CONFIG_GENERIC_EARLY_IOREMAP=y
CONFIG_FORCE_MAX_ZONEORDER=11
CONFIG_ARMV8_DEPRECATED=y
CONFIG_SWP_EMULATION=y
CONFIG_CP15_BARRIER_EMULATION=y
CONFIG_SETEND_EMULATION=y

#
# Boot options
#
CONFIG_CMDLINE=""
CONFIG_EFI_STUB=y
CONFIG_EFI=y
CONFIG_DMI=y

#
# Userspace binary formats
#
CONFIG_COMPAT_BINFMT_ELF=y
CONFIG_COMPAT=y
CONFIG_SYSVIPC_COMPAT=y

#
# ARM CPU Idle Drivers
#
# CONFIG_ARCH_NEEDS_CPU_IDLE_COUPLED is not set

#
# CPU frequency scaling drivers
#
CONFIG_COMPAT_NETLINK_MESSAGES=y

#
# Generic Driver Options
#
# CONFIG_FW_LOADER_USER_HELPER_FALLBACK is not set
CONFIG_GENERIC_CPU_AUTOPROBE=y

#
# Device Tree and Open Firmware support
#
CONFIG_PNP=y
# CONFIG_PNP_DEBUG_MESSAGES is not set

#
# Protocols
#
CONFIG_PNPACPI=y
CONFIG_BLK_DEV_SKD=m

#
# Intel MIC Card Driver
#
# CONFIG_GENWQE is not set

#
# SCSI Transports
#
# CONFIG_SCSI_LOWLEVEL_PCMCIA is not set
CONFIG_ATA_ACPI=y
CONFIG_SATA_ZPODD=y

#
# Controllers with non-SFF native interface
#
CONFIG_AHCI_XGENE=m

#
# Generic fallback / legacy drivers
#
CONFIG_PATA_ACPI=m

#
# Distributed Switch Architecture drivers
#
CONFIG_VORTEX=m
CONFIG_AMD_XGBE=m
CONFIG_NET_XGENE=m
CONFIG_MACB=m
CONFIG_NET_SB1000=m

#
# MII PHY device drivers
#
CONFIG_AMD_XGBE_PHY=m

#
# Input device support
#
CONFIG_INPUT_MATRIXKMAP=m

#
# Input Device Drivers
#
# CONFIG_KEYBOARD_SAMSUNG is not set

#
# Serial drivers
#
CONFIG_SERIAL_8250_PNP=y
CONFIG_SERIAL_8250_FINTEK=m

#
# Non-8250 serial port support
#
CONFIG_HW_RANDOM_XGENE=m

#
# PCMCIA character devices
#
# CONFIG_HPET is not set

#
# I2C support
#
CONFIG_ACPI_I2C_OPREGION=y

#
# ACPI drivers
#
CONFIG_I2C_SCMI=m

#
# I2C system bus drivers (mostly embedded / system-on-chip)
#
CONFIG_I2C_NOMADIK=m

#
# Other I2C/SMBus bus drivers
#
# CONFIG_I2C_SLAVE is not set

#
# PPS support
#
CONFIG_PPS=m

#
# PTP clock support
#
CONFIG_PTP_1588_CLOCK=m

#
# Enable PHYLIB and NETWORK_PHY_TIMESTAMPING to see the additional clocks.
#
CONFIG_GPIO_ACPI=y

#
# Memory mapped GPIO drivers
#
CONFIG_GPIO_DWAPB=m
CONFIG_GPIO_XGENE=y
CONFIG_GPIO_XGENE_SB=m

#
# USB GPIO expanders
#
CONFIG_POWER_RESET_XGENE=y

#
# ACPI drivers
#
CONFIG_SENSORS_ACPI_POWER=m

#
# Multifunction device drivers
#
# CONFIG_MFD_ATMEL_HLCDC is not set
# CONFIG_ABX500_CORE is not set

#
# STMicroelectronics STMPE Interface Drivers
#
# CONFIG_REGULATOR_88PM8607 is not set
# CONFIG_REGULATOR_GPIO is not set
# CONFIG_REGULATOR_LP872X is not set
# CONFIG_REGULATOR_LP8788 is not set
# CONFIG_REGULATOR_TWL4030 is not set

#
# Media drivers
#
# CONFIG_IR_ENE is not set
# CONFIG_IR_ITE_CIR is not set
# CONFIG_IR_FINTEK is not set
# CONFIG_IR_NUVOTON is not set

#
# Console display driver support
#
CONFIG_DUMMY_CONSOLE_COLUMNS=80
CONFIG_DUMMY_CONSOLE_ROWS=25
# CONFIG_SND_LX6464ES is not set

#
# Common SoC Audio options for Freescale CPUs:
#
# CONFIG_SND_SOC_XTFPGA_I2S is not set

#
# Platform Glue Layer
#
CONFIG_MUSB_PIO_ONLY=y

#
# MMC/SD/SDIO Host Controller Drivers
#
CONFIG_MMC_SDHCI_ACPI=m
# CONFIG_MMC_SDHCI_OF_ARASAN is not set

#
# LED drivers
#
CONFIG_LEDS_INTEL_SS4200=m

#
# Platform RTC drivers
#
CONFIG_RTC_DRV_EFI=m

#
# DMA Devices
#
CONFIG_ASYNC_TX_ENABLE_CHANNEL_SWITCH=y
CONFIG_XGENE_DMA=m
CONFIG_DMA_ACPI=y

#
# DMA Clients
#
CONFIG_DMA_ENGINE_RAID=y

#
# Android
#
CONFIG_I2O_EXT_ADAPTEC_DMA64=y
# CONFIG_FSL_MC_BUS is not set

#
# Common Clock Framework
#
CONFIG_COMMON_CLK_XGENE=y

#
# Clock Source drivers
#
# CONFIG_SH_TIMER_TMU is not set
# CONFIG_PL320_MBOX is not set
# CONFIG_PCC is not set

#
# Generic IOMMU Pagetable Support
#
# CONFIG_IOMMU_IO_PGTABLE_LPAE is not set
# CONFIG_ARM_SMMU is not set

#
# Temperature sensors
#
CONFIG_ARM_GIC_V3=y

#
# PHY Subsystem
#
# CONFIG_PHY_EXYNOS4210_USB2 is not set
# CONFIG_PHY_EXYNOS4X12_USB2 is not set
# CONFIG_PHY_EXYNOS5250_USB2 is not set
CONFIG_PHY_XGENE=m

#
# Firmware Drivers
#
CONFIG_DMIID=y
CONFIG_DMI_SYSFS=y

#
# EFI (Extensible Firmware Interface) Support
#
CONFIG_EFI_VARS=y
CONFIG_EFI_VARS_PSTORE=y
# CONFIG_EFI_VARS_PSTORE_DEFAULT_DISABLE is not set
CONFIG_EFI_PARAMS_FROM_FDT=y
CONFIG_EFI_RUNTIME_WRAPPERS=y
CONFIG_EFI_ARMSTUB=y
CONFIG_ACPI=y
CONFIG_ACPI_GENERIC_GSI=y
# CONFIG_ACPI_PROCFS_POWER is not set
# CONFIG_ACPI_EC_DEBUGFS is not set
CONFIG_ACPI_BUTTON=m
CONFIG_ACPI_FAN=m
CONFIG_ACPI_DOCK=y
CONFIG_ACPI_IPMI=m
# CONFIG_ACPI_CUSTOM_DSDT is not set
# CONFIG_ACPI_DEBUG is not set
# CONFIG_ACPI_PCI_SLOT is not set
CONFIG_ACPI_CONTAINER=y
CONFIG_ACPI_HED=m
CONFIG_ACPI_CUSTOM_METHOD=m
CONFIG_ACPI_REDUCED_HARDWARE_ONLY=y
# CONFIG_PMIC_OPREGION is not set

#
# File systems
#
# CONFIG_FS_DAX is not set

#
# Pseudo filesystems
#
# CONFIG_HUGETLBFS is not set
CONFIG_EFIVAR_FS=y
CONFIG_KVM_MMIO=y
CONFIG_KVM_GENERIC_DIRTYLOG_READ_PROTECT=y
CONFIG_KVM_COMPAT=y
CONFIG_KVM=y
CONFIG_KVM_ARM_HOST=y
CONFIG_KVM_ARM_MAX_VCPUS=4

#
# Compile-time checks and compiler options
#
CONFIG_ARCH_WANT_FRAME_POINTERS=y
CONFIG_FRAME_POINTER=y

#
# Lock Debugging (spinlocks, mutexes, etc...)
#
# CONFIG_DEBUG_WW_MUTEX_SLOWPATH is not set
# CONFIG_DEBUG_LOCK_ALLOC is not set
# CONFIG_PROVE_LOCKING is not set
# CONFIG_LOCK_STAT is not set

#
# RCU Debugging
#
CONFIG_FUNCTION_GRAPH_TRACER=y

#
# Runtime Testing
#
# CONFIG_ARM64_PTDUMP is not set
# CONFIG_ARM64_RANDOMIZE_TEXT_OFFSET is not set

#
# Memory Protections
#
CONFIG_GRKERNSEC_KSTACKOVERFLOW=y

#
# Random Number Generation
#
CONFIG_CRYPTO_DEV_CCP=y
CONFIG_CRYPTO_DEV_CCP_DD=m
CONFIG_CRYPTO_DEV_CCP_CRYPTO=m
CONFIG_ARM64_CRYPTO=y
CONFIG_CRYPTO_SHA1_ARM64_CE=m
CONFIG_CRYPTO_SHA2_ARM64_CE=m
CONFIG_CRYPTO_GHASH_ARM64_CE=m
CONFIG_CRYPTO_AES_ARM64_CE=m
CONFIG_CRYPTO_AES_ARM64_CE_CCM=m
CONFIG_CRYPTO_AES_ARM64_CE_BLK=m
CONFIG_CRYPTO_AES_ARM64_NEON_BLK=m
CONFIG_CRYPTO_CRC32_ARM64=m

#
# Library routines
#
CONFIG_AUDIT_ARCH_COMPAT_GENERIC=y
CONFIG_AUDIT_COMPAT_GENERIC=y
CONFIG_HAS_IOPORT_MAP=y
CONFIG_UCS2_STRING=y