2013-06-16 12:31:18 +00:00
|
|
|
CONFIG_64BIT=y
|
2013-08-15 16:22:58 +00:00
|
|
|
CONFIG_ARM64=y
|
|
|
|
|
|
2014-04-01 19:44:09 +00:00
|
|
|
CONFIG_SCHED_MC=y
|
|
|
|
|
CONFIG_SCHED_SMT=y
|
|
|
|
|
|
2013-11-11 14:45:46 +00:00
|
|
|
# CONFIG_CPU_BIG_ENDIAN is not set
|
|
|
|
|
|
2013-08-15 16:22:58 +00:00
|
|
|
# arm64 only SoCs
|
|
|
|
|
CONFIG_ARCH_XGENE=y
|
|
|
|
|
|
2013-06-16 12:31:18 +00:00
|
|
|
# CONFIG_ALWAYS_USE_PERSISTENT_CLOCK is not set
|
|
|
|
|
# CONFIG_AMBA_PL08X is not set
|
|
|
|
|
CONFIG_ARCH_HAS_HOLES_MEMORYMODEL=y
|
|
|
|
|
CONFIG_ARCH_REQUIRE_GPIOLIB=y
|
2014-01-14 15:11:59 +00:00
|
|
|
# CONFIG_ARM64_64K_PAGES is not set
|
|
|
|
|
CONFIG_COMPAT=y
|
2013-08-15 16:22:58 +00:00
|
|
|
|
2013-06-16 12:31:18 +00:00
|
|
|
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
|
2013-08-15 16:22:58 +00:00
|
|
|
|
2013-06-16 12:31:18 +00:00
|
|
|
CONFIG_GENERIC_ACL=y
|
|
|
|
|
CONFIG_GENERIC_CALIBRATE_DELAY=y
|
|
|
|
|
CONFIG_GENERIC_CLOCKEVENTS_BUILD=y
|
|
|
|
|
CONFIG_GENERIC_CSUM=y
|
|
|
|
|
CONFIG_GENERIC_HARDIRQS=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
|
2013-08-15 16:22:58 +00:00
|
|
|
|
2014-02-26 10:52:24 +00:00
|
|
|
CONFIG_KVM=y
|
2014-01-23 12:35:29 +00:00
|
|
|
CONFIG_KVM_ARM_MAX_VCPUS=8
|
2013-06-16 12:31:18 +00:00
|
|
|
CONFIG_LOG_BUF_SHIFT=14
|
2013-08-15 16:22:58 +00:00
|
|
|
|
2013-06-16 12:31:18 +00:00
|
|
|
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
|
2013-08-15 16:22:58 +00:00
|
|
|
|
2013-06-16 12:31:18 +00:00
|
|
|
# CONFIG_SYS_HYPERVISOR is not set
|
|
|
|
|
# CONFIG_THERMAL is not set
|
2013-07-11 21:08:40 +00:00
|
|
|
CONFIG_VIRTUALIZATION=y
|
2013-06-16 12:31:18 +00:00
|
|
|
CONFIG_VM_EVENT_COUNTERS=y
|
2013-08-15 16:22:58 +00:00
|
|
|
|
2014-06-11 17:36:24 +00:00
|
|
|
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
|
|
|
|
|
|
2014-06-16 12:25:03 +00:00
|
|
|
# APM Xgene
|
|
|
|
|
CONFIG_POWER_RESET_XGENE=y
|
|
|
|
|
CONFIG_COMMON_CLK_XGENE=y
|
|
|
|
|
|
2014-07-02 13:28:51 +00:00
|
|
|
CONFIG_AHCI_XGENE=y
|
2014-06-26 14:09:59 +00:00
|
|
|
CONFIG_PHY_XGENE=y
|
2014-07-02 13:28:51 +00:00
|
|
|
CONFIG_NET_XGENE=y
|
2014-06-16 12:25:03 +00:00
|
|
|
CONFIG_RTC_DRV_XGENE=m
|
2014-07-02 13:28:51 +00:00
|
|
|
CONFIG_RTC_DRV_EFI=y
|
2014-06-16 12:25:03 +00:00
|
|
|
|
|
|
|
|
# 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
|
2014-07-24 23:20:52 +00:00
|
|
|
|
|
|
|
|
CONFIG_PCI_XGENE=y
|
|
|
|
|
CONFIG_HOTPLUG_PCI=y
|
|
|
|
|
# CONFIG_HOTPLUG_PCI_CPCI is not set
|
|
|
|
|
# CONFIG_HOTPLUG_PCI_SHPC is not set
|
