| CONFIG_64BIT=y |
| CONFIG_ARM64=y |
| |
| # arm64 only SoCs |
| CONFIG_ARCH_XGENE=y |
| |
| # 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 |
| CONFIG_ARM64_64K_PAGES=y |
| # CONFIG_ARM_DT_BL_CPUFREQ is not set |
| CONFIG_ARM_SMMU=y |
| |
| 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_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 |
| |
| # CONFIG_KVM is not set |
| 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_SWIOTLB=y |
| # CONFIG_SYS_HYPERVISOR is not set |
| # CONFIG_THERMAL is not set |
| CONFIG_VIRTUALIZATION=y |
| CONFIG_VM_EVENT_COUNTERS=y |
| |
| # not arm64 |
| # CONFIG_HW_RANDOM_ATMEL is not set |
| # CONFIG_HW_RANDOM_EXYNOS is not set |
| # 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_POWER_RESET_XGENE=y |