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_NEED_SG_DMA_LENGTH=y
CONFIG_KERNEL_MODE_NEON=y
CONFIG_FIX_EARLYCON_MEM=y

#
# IRQ subsystem
#
CONFIG_GENERIC_TIME_VSYSCALL=y
CONFIG_ARCH_HAS_TICK_BROADCAST=y
CONFIG_GENERIC_CLOCKEVENTS_BROADCAST=y

#
# Timers subsystem
#
# CONFIG_NO_HZ_IDLE is not set
CONFIG_NO_HZ_FULL=y
# CONFIG_NO_HZ_FULL_ALL is not set
# CONFIG_NO_HZ_FULL_SYSIDLE is not set

#
# RCU Subsystem
#
CONFIG_TREE_RCU=y
CONFIG_RCU_STALL_COMMON=y
CONFIG_RCU_USER_QS=y
# CONFIG_CONTEXT_TRACKING_FORCE is not set
CONFIG_RCU_FANOUT=64
CONFIG_RCU_FANOUT_LEAF=16
# CONFIG_RCU_FANOUT_EXACT is not set
# CONFIG_RCU_FAST_NO_HZ is not set
CONFIG_RCU_NOCB_CPU=y
CONFIG_RCU_NOCB_CPU_NONE=y
# CONFIG_RCU_NOCB_CPU_ZERO is not set
# CONFIG_RCU_NOCB_CPU_ALL is not set
CONFIG_LOG_CPU_MAX_BUF_SHIFT=12
CONFIG_SYSCTL_EXCEPTION_TRACE=y

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

#
# IO Schedulers
#
CONFIG_PREEMPT_NOTIFIERS=y
CONFIG_PADATA=y
CONFIG_MUTEX_SPIN_ON_OWNER=y
CONFIG_RWSEM_SPIN_ON_OWNER=y

#
# Platform selection
#
# CONFIG_ARCH_THUNDER is not set
CONFIG_ARCH_VEXPRESS=y
CONFIG_ARCH_XGENE=y

#
# Bus support
#
CONFIG_ARM_AMBA=y
CONFIG_PCI_DOMAINS=y
CONFIG_PCI_DOMAINS_GENERIC=y

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

#
# Kernel Features
#
# 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_ARM64_PGTABLE_LEVELS=2
CONFIG_SMP=y
CONFIG_SCHED_MC=y
CONFIG_SCHED_SMT=y
CONFIG_NR_CPUS=64
CONFIG_HOTPLUG_CPU=y
CONFIG_HZ=100
CONFIG_ARCH_HAS_HOLES_MEMORYMODEL=y
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_SPLIT_PTLOCK_CPUS=4
CONFIG_PHYS_ADDR_T_64BIT=y
CONFIG_MMU_NOTIFIER=y
# CONFIG_TRANSPARENT_HUGEPAGE is not set
CONFIG_GENERIC_EARLY_IOREMAP=y
# CONFIG_XEN is not set
CONFIG_FORCE_MAX_ZONEORDER=11

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

#
# Power management options
#
CONFIG_PM_SLEEP_SMP=y
CONFIG_ARM64_CPU_SUSPEND=y

#
# CPU Idle
#
CONFIG_DT_IDLE_STATES=y

#
# ARM64 CPU Idle Drivers
#
CONFIG_ARM64_CPUIDLE=y
# CONFIG_ARCH_NEEDS_CPU_IDLE_COUPLED is not set

#
# ARM CPU frequency scaling drivers
#
# CONFIG_ARM_KIRKWOOD_CPUFREQ is not set

#
# Classification
#
CONFIG_RPS=y
CONFIG_RFS_ACCEL=y
CONFIG_XPS=y
CONFIG_NET_FLOW_LIMIT=y

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

#
# Device Tree and Open Firmware support
#
CONFIG_BLK_DEV_SKD=m

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

#
# SCSI Transports
#
# CONFIG_SCSI_LOWLEVEL_PCMCIA is not set

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

#
# IEEE 1394 (FireWire) support
#
CONFIG_I2O_EXT_ADAPTEC_DMA64=y

#
# Distributed Switch Architecture drivers
#
CONFIG_VORTEX=m

#
# Input device support
#
CONFIG_INPUT_MATRIXKMAP=m

#
# Input Device Drivers
#
# CONFIG_KEYBOARD_SAMSUNG is not set

#
# Hardware I/O ports
#
# CONFIG_SERIO_AMBAKMI is not set

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

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

#
# PPS support
#
CONFIG_PPS=m

#
# PTP clock support
#
CONFIG_PTP_1588_CLOCK=m

#
# Memory mapped GPIO drivers:
#
CONFIG_GPIO_PL061=y
CONFIG_GPIO_XGENE=y

#
# 1-wire Slaves
#
CONFIG_POWER_RESET_XGENE=y

#
# Watchdog Device Drivers
#
CONFIG_ARM_SP805_WATCHDOG=m

#
# Multifunction device drivers
#
# CONFIG_ABX500_CORE is not set

#
# STMicroelectronics STMPE Interface Drivers
#
# CONFIG_MFD_VX855 is not set
# 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 digital TV PCI Adapters
#
# CONFIG_VIDEO_CAFE_CCIC is not set

#
# I2C encoder or helper chips
#
# CONFIG_DRM_I2C_CH7006 is not set
# CONFIG_DRM_I2C_SIL164 is not set
# CONFIG_DRM_I2C_NXP_TDA998X is not set

#
# Frame buffer Devices
#
CONFIG_FB_SYS_FILLRECT=m
CONFIG_FB_SYS_COPYAREA=m
CONFIG_FB_SYS_IMAGEBLIT=m
CONFIG_FB_SYS_FOPS=m
# CONFIG_FB_MODE_HELPERS is not set

#
# Frame buffer hardware drivers
#
# CONFIG_FB_ARMCLCD is not set
# CONFIG_LCD_PLATFORM is not set

#
# Console display driver support
#
# CONFIG_SND_ES1968_INPUT is not set
# CONFIG_SND_LX6464ES is not set
# CONFIG_SND_MAESTRO3_INPUT is not set

#
# USB Physical Layer drivers
#
CONFIG_NOP_USB_XCEIV=m

#
# MMC/SD/SDIO Host Controller Drivers
#
CONFIG_MMC_ARMMMCI=m
# CONFIG_MMC_RICOH_MMC is not set
# CONFIG_MMC_SDHCI_OF_ARASAN is not set
# CONFIG_MMC_SDHCI_PXAV3 is not set
# CONFIG_MMC_SDHCI_PXAV2 is not set

#
# Platform RTC drivers
#
CONFIG_RTC_DRV_EFI=m

#
# on-CPU RTC drivers
#
CONFIG_RTC_DRV_PL030=m
CONFIG_RTC_DRV_PL031=m

#
# DMA Devices
#
# CONFIG_AMBA_PL08X is not set
# CONFIG_DW_DMAC_PCI is not set
# CONFIG_PL330_DMA is not set

#
# DMA Clients
#
# CONFIG_UIO_AEC is not set
# CONFIG_UIO_SERCOS3 is not set
# CONFIG_UIO_PCI_GENERIC is not set
# CONFIG_UIO_MF624 is not set

#
# Common Clock Framework
#
CONFIG_COMMON_CLK_WM831X=y
CONFIG_COMMON_CLK_VERSATILE=y
CONFIG_CLK_SP810=y
CONFIG_CLK_VEXPRESS_OSC=y
CONFIG_COMMON_CLK_MAX77686=y
CONFIG_COMMON_CLK_XGENE=y

#
# Clock Source drivers
#
CONFIG_ARM_ARCH_TIMER=y
CONFIG_ARM_ARCH_TIMER_EVTSTREAM=y
# CONFIG_SH_TIMER_TMU is not set
# CONFIG_PL320_MBOX is not set
# CONFIG_ARM_SMMU is not set

#
# Analog to digital converters
#
# CONFIG_LP8788_ADC is not set
# CONFIG_TWL6030_GPADC is not set

#
# Temperature sensors
#
# CONFIG_PWM_FSL_FTM is not set
# CONFIG_PWM_LP3943 is not set
# CONFIG_PWM_PCA9685 is not set
# CONFIG_PWM_TWL is not set
# CONFIG_PWM_TWL_LED is not set
CONFIG_ARM_GIC=y
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_FIRMWARE_MEMMAP is not set

#
# 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

#
# File systems
#
CONFIG_DCACHE_WORD_ACCESS=y

#
# Pseudo filesystems
#
# CONFIG_HUGETLBFS is not set
CONFIG_EFIVAR_FS=y
CONFIG_KVM_MMIO=y
CONFIG_KVM=y
CONFIG_KVM_ARM_HOST=y
CONFIG_KVM_ARM_MAX_VCPUS=4
CONFIG_KVM_ARM_VGIC=y
CONFIG_KVM_ARM_TIMER=y

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

#
# Memory Debugging
#
# CONFIG_DEBUG_PER_CPU_MAPS is not set

#
# RCU Debugging
#
CONFIG_RCU_CPU_STALL_TIMEOUT=21
# CONFIG_RCU_CPU_STALL_INFO is not set
CONFIG_FUNCTION_GRAPH_TRACER=y

#
# Runtime Testing
#
# CONFIG_PID_IN_CONTEXTIDR is not set
# CONFIG_ARM64_RANDOMIZE_TEXT_OFFSET is not set

#
# Memory Protections
#
CONFIG_GRKERNSEC_KSTACKOVERFLOW=y

#
# Crypto core or helper
#
CONFIG_CRYPTO_PCRYPT=m
CONFIG_CRYPTO_ABLK_HELPER=m

#
# 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

#
# Library routines
#
CONFIG_GENERIC_IOMAP=y
CONFIG_AUDIT_ARCH_COMPAT_GENERIC=y
CONFIG_HAS_IOPORT_MAP=y
CONFIG_CPU_RMAP=y
CONFIG_UCS2_STRING=y