CONFIG_64BIT=y

CONFIG_ARM64=y

CONFIG_SCHED_MC=y

CONFIG_SCHED_SMT=y

# CONFIG_CPU_BIG_ENDIAN is not set

# arm64 only SoCs

CONFIG_ARCH_XGENE=y

# CONFIG_AMBA_PL08X is not set

CONFIG_ARCH_HAS_HOLES_MEMORYMODEL=y

CONFIG_ARCH_REQUIRE_GPIOLIB=y

CONFIG_ARM64_64K_PAGES=y

# CONFIG_COMPAT is not set

CONFIG_BCMA_POSSIBLE=y

CONFIG_BOOTPARAM_SOFTLOCKUP_PANIC_VALUE=0

CONFIG_BQL=y

CONFIG_BRCMUTIL=m

CONFIG_BUG=y

CONFIG_CLKDEV_LOOKUP=y

CONFIG_CMDLINE="console=ttyAMA0"

# CONFIG_CMDLINE_FORCE is not set

CONFIG_CONSOLE_TRANSLATIONS=y

CONFIG_GENERIC_CALIBRATE_DELAY=y

CONFIG_GENERIC_CLOCKEVENTS_BUILD=y

CONFIG_GENERIC_CSUM=y

CONFIG_GENERIC_HWEIGHT=y

CONFIG_GENERIC_IO=y

CONFIG_GENERIC_PCI_IOMAP=y

CONFIG_HAVE_64BIT_ALIGNED_ACCESS=y

CONFIG_HAVE_ARCH_PFN_VALID=y

CONFIG_HAVE_ARCH_TRACEHOOK=y

CONFIG_HAVE_MEMORY_PRESENT=y

CONFIG_HAVE_NET_DSA=y

# CONFIG_HUGETLB_PAGE is not set

CONFIG_HVC_DRIVER=y

CONFIG_HZ=100

CONFIG_KVM=y

CONFIG_KVM_ARM_MAX_VCPUS=8

CONFIG_LOG_BUF_SHIFT=14

CONFIG_NFS_ACL_SUPPORT=y

CONFIG_NFS_COMMON=y

CONFIG_NFS_DEBUG=y

# CONFIG_NFSD_FAULT_INJECTION is not set

CONFIG_NFSD_V2_ACL=y

CONFIG_NFS_USE_KERNEL_DNS=y

# CONFIG_PL330_DMA is not set

CONFIG_RCU_FANOUT=64

# CONFIG_RTC_DRV_PL030 is not set

# CONFIG_RTC_DRV_PL031 is not set

CONFIG_SERIAL_8250_DMA=y

# CONFIG_SERIAL_AMBA_PL010 is not set

CONFIG_SPARSE_IRQ=y

CONFIG_SPARSEMEM_VMEMMAP=y

# CONFIG_SYS_HYPERVISOR is not set

# CONFIG_THERMAL is not set

CONFIG_VIRTUALIZATION=y

CONFIG_VM_EVENT_COUNTERS=y

CONFIG_EFI=y

CONFIG_EFI_VARS=y

CONFIG_EFIVAR_FS=y

CONFIG_EFI_VARS_PSTORE=y

CONFIG_EFI_VARS_PSTORE_DEFAULT_DISABLE=y

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_DEV_CCP=y

CONFIG_CRYPTO_DEV_CCP_DD=m

CONFIG_CRYPTO_DEV_CCP_CRYPTO=m

# APM Xgene

CONFIG_POWER_RESET_XGENE=y

CONFIG_COMMON_CLK_XGENE=y

CONFIG_AHCI_XGENE=y

CONFIG_PHY_XGENE=y

CONFIG_NET_XGENE=y

CONFIG_RTC_DRV_XGENE=m

CONFIG_RTC_DRV_EFI=y

# not arm64

# CONFIG_GPIO_ADNP is not set

# CONFIG_GPIO_MCP23S08 is not set

# CONFIG_MDIO_BUS_MUX_GPIO is not set

# CONFIG_MDIO_BUS_MUX_MMIOREG is not set

# busted build for various reasons

#  uses pci_* for some reason to allocate DMA buffers

# CONFIG_DVB_B2C2_FLEXCOP_USB is not set

#  weird include chain resulting in missing u64 type

# CONFIG_USB_SPEEDTOUCH is not set

#  dma issues in headers

# CONFIG_PARPORT_PC is not set

# CONFIG_VGA_CONSOLE is not set

CONFIG_PCI_XGENE=y

CONFIG_HOTPLUG_PCI=y

# CONFIG_HOTPLUG_PCI_CPCI is not set

# CONFIG_HOTPLUG_PCI_SHPC is not set

# CONFIG_ARM64_RANDOMIZE_TEXT_OFFSET is not set

# CONFIG_PNP_DEBUG_MESSAGES is not set

CONFIG_NET_SB1000=y

CONFIG_SBSAUART_TTY=y

CONFIG_I2C_SCMI=m

CONFIG_SENSORS_ACPI_POWER=m

CONFIG_IMX_THERMAL=m

CONFIG_PWM_LPSS=m

CONFIG_ACPI=y

CONFIG_ACPI_PROCFS_POWER=y

CONFIG_ACPI_EC_DEBUGFS=y

CONFIG_ACPI_BUTTON=m

CONFIG_ACPI_FAN=m

CONFIG_ACPI_DOCK=y

CONFIG_ACPI_IPMI=y

CONFIG_ACPI_CONTAINER=y

CONFIG_ACPI_HED=m

CONFIG_ACPI_CUSTOM_METHOD=m

CONFIG_AMD_XGBE=y

CONFIG_AMD_XGBE_PHY=y

# CONFIG_AMD_XGBE_DCB is not set