3 CONFIG_ARCH_PHYS_ADDR_T_64BIT=y
5 CONFIG_ARCH_DMA_ADDR_T_64BIT=y
6 CONFIG_KERNEL_MODE_NEON=y
7 CONFIG_FIX_EARLYCON_MEM=y
12 CONFIG_IRQ_DOMAIN_HIERARCHY=y
13 CONFIG_GENERIC_TIME_VSYSCALL=y
14 CONFIG_ARCH_HAS_TICK_BROADCAST=y
15 CONFIG_GENERIC_CLOCKEVENTS_BROADCAST=y
20 # CONFIG_NO_HZ_IDLE is not set
22 # CONFIG_NO_HZ_FULL_ALL is not set
23 # CONFIG_NO_HZ_FULL_SYSIDLE is not set
29 CONFIG_RCU_STALL_COMMON=y
31 # CONFIG_CONTEXT_TRACKING_FORCE is not set
33 CONFIG_RCU_FANOUT_LEAF=16
34 # CONFIG_RCU_FANOUT_EXACT is not set
35 # CONFIG_RCU_FAST_NO_HZ is not set
37 CONFIG_RCU_NOCB_CPU_NONE=y
38 # CONFIG_RCU_NOCB_CPU_ZERO is not set
39 # CONFIG_RCU_NOCB_CPU_ALL is not set
40 CONFIG_LOG_CPU_MAX_BUF_SHIFT=12
41 CONFIG_SYSCTL_EXCEPTION_TRACE=y
44 # Kernel Performance Events And Counters
46 CONFIG_SLUB_CPU_PARTIAL=y
47 CONFIG_ARCH_WANT_COMPAT_IPC_PARSE_VERSION=y
48 CONFIG_MODULES_USE_ELF_RELA=y
49 CONFIG_COMPAT_OLD_SIGACTION=y
59 CONFIG_PREEMPT_NOTIFIERS=y
61 CONFIG_MUTEX_SPIN_ON_OWNER=y
62 CONFIG_RWSEM_SPIN_ON_OWNER=y
63 CONFIG_LOCK_SPIN_ON_OWNER=y
68 # CONFIG_ARCH_EXYNOS7 is not set
69 # CONFIG_ARCH_FSL_LS2085A is not set
70 # CONFIG_ARCH_MEDIATEK is not set
71 # CONFIG_ARCH_QCOM is not set
73 # CONFIG_ARCH_TEGRA is not set
74 # CONFIG_ARCH_SPRD is not set
75 # CONFIG_ARCH_THUNDER is not set
76 CONFIG_ARCH_VEXPRESS=y
78 # CONFIG_ARCH_ZYNQMP is not set
84 CONFIG_PCI_DOMAINS_GENERIC=y
85 CONFIG_PCI_BUS_ADDR_T_64BIT=y
89 # PCI host controller drivers
92 CONFIG_HOTPLUG_PCI_PCIE=y
94 CONFIG_HOTPLUG_PCI_ACPI=y
95 CONFIG_HOTPLUG_PCI_ACPI_IBM=y
96 CONFIG_HOTPLUG_PCI_CPCI=y
97 CONFIG_HOTPLUG_PCI_SHPC=m
100 # ARM errata workarounds via the alternatives framework
102 CONFIG_ARM64_ERRATUM_826319=y
103 CONFIG_ARM64_ERRATUM_827319=y
104 CONFIG_ARM64_ERRATUM_824069=y
105 CONFIG_ARM64_ERRATUM_819472=y
106 CONFIG_ARM64_ERRATUM_832075=y
107 CONFIG_ARM64_ERRATUM_845719=y
108 # CONFIG_ARM64_4K_PAGES is not set
109 CONFIG_ARM64_64K_PAGES=y
110 CONFIG_ARM64_VA_BITS_42=y
111 # CONFIG_ARM64_VA_BITS_48 is not set
112 CONFIG_ARM64_VA_BITS=42
119 CONFIG_ARCH_HAS_HOLES_MEMORYMODEL=y
120 CONFIG_ARCH_SPARSEMEM_ENABLE=y
121 CONFIG_ARCH_SPARSEMEM_DEFAULT=y
122 CONFIG_ARCH_SELECT_MEMORY_MODEL=y
123 CONFIG_SYS_SUPPORTS_HUGETLBFS=y
124 CONFIG_ARCH_HAS_CACHE_LINE_SIZE=y
125 CONFIG_SELECT_MEMORY_MODEL=y
126 CONFIG_SPARSEMEM_MANUAL=y
128 CONFIG_SPARSEMEM_EXTREME=y
129 CONFIG_SPARSEMEM_VMEMMAP_ENABLE=y
130 CONFIG_SPARSEMEM_VMEMMAP=y
131 CONFIG_SPLIT_PTLOCK_CPUS=4
132 CONFIG_PHYS_ADDR_T_64BIT=y
133 CONFIG_MMU_NOTIFIER=y
134 # CONFIG_TRANSPARENT_HUGEPAGE is not set
135 CONFIG_GENERIC_EARLY_IOREMAP=y
136 # CONFIG_XEN is not set
137 CONFIG_FORCE_MAX_ZONEORDER=11
138 CONFIG_ARMV8_DEPRECATED=y
139 CONFIG_SWP_EMULATION=y
140 CONFIG_CP15_BARRIER_EMULATION=y
141 CONFIG_SETEND_EMULATION=y
152 # Userspace binary formats
154 CONFIG_COMPAT_BINFMT_ELF=y
156 CONFIG_SYSVIPC_COMPAT=y
159 # Power management options
161 CONFIG_PM_SLEEP_SMP=y
164 # ARM CPU Idle Drivers
166 # CONFIG_ARCH_NEEDS_CPU_IDLE_COUPLED is not set
169 # CPU frequency scaling drivers
171 # CONFIG_ARM_KIRKWOOD_CPUFREQ is not set
172 CONFIG_COMPAT_NETLINK_MESSAGES=y
180 CONFIG_NET_FLOW_LIMIT=y
189 # Generic Driver Options
191 # CONFIG_FW_LOADER_USER_HELPER_FALLBACK is not set
192 CONFIG_GENERIC_CPU_AUTOPROBE=y
195 # Device Tree and Open Firmware support
198 # CONFIG_PNP_DEBUG_MESSAGES is not set
207 # Intel MIC Card Driver
209 # CONFIG_GENWQE is not set
214 # CONFIG_SCSI_LOWLEVEL_PCMCIA is not set
219 # Controllers with non-SFF native interface
224 # Generic fallback / legacy drivers
229 # Distributed Switch Architecture drivers
238 # MII PHY device drivers
240 CONFIG_AMD_XGBE_PHY=m
243 # Input device support
245 CONFIG_INPUT_MATRIXKMAP=m
248 # Input Device Drivers
250 # CONFIG_KEYBOARD_SAMSUNG is not set
255 # CONFIG_SERIO_AMBAKMI is not set
260 CONFIG_SERIAL_8250_PNP=y
261 CONFIG_SERIAL_8250_FINTEK=m
264 # Non-8250 serial port support
266 CONFIG_SERIAL_AMBA_PL010=m
267 CONFIG_SERIAL_AMBA_PL011=m
268 CONFIG_HW_RANDOM_XGENE=m
271 # PCMCIA character devices
273 # CONFIG_HPET is not set
278 CONFIG_ACPI_I2C_OPREGION=y
286 # I2C system bus drivers (mostly embedded / system-on-chip)
289 CONFIG_I2C_VERSATILE=m
292 # Other I2C/SMBus bus drivers
294 # CONFIG_I2C_SLAVE is not set
304 CONFIG_PTP_1588_CLOCK=m
307 # Enable PHYLIB and NETWORK_PHY_TIMESTAMPING to see the additional clocks.
312 # Memory mapped GPIO drivers
317 CONFIG_GPIO_XGENE_SB=m
322 CONFIG_POWER_RESET_XGENE=y
327 CONFIG_SENSORS_ACPI_POWER=m
330 # Watchdog Device Drivers
332 CONFIG_ARM_SP805_WATCHDOG=m
335 # Multifunction device drivers
337 # CONFIG_MFD_ATMEL_HLCDC is not set
338 # CONFIG_ABX500_CORE is not set
341 # STMicroelectronics STMPE Interface Drivers
343 # CONFIG_MFD_VX855 is not set
344 # CONFIG_REGULATOR_88PM8607 is not set
345 # CONFIG_REGULATOR_GPIO is not set
346 # CONFIG_REGULATOR_LP872X is not set
347 # CONFIG_REGULATOR_LP8788 is not set
348 # CONFIG_REGULATOR_TWL4030 is not set
353 # CONFIG_IR_ENE is not set
354 # CONFIG_IR_ITE_CIR is not set
355 # CONFIG_IR_FINTEK is not set
356 # CONFIG_IR_NUVOTON is not set
359 # Media digital TV PCI Adapters
361 # CONFIG_VIDEO_CAFE_CCIC is not set
364 # I2C encoder or helper chips
366 # CONFIG_DRM_I2C_CH7006 is not set
367 # CONFIG_DRM_I2C_SIL164 is not set
368 # CONFIG_DRM_I2C_NXP_TDA998X is not set
373 # CONFIG_DRM_PANEL_SIMPLE is not set
374 # CONFIG_DRM_PANEL_S6E8AA0 is not set
377 # Frame buffer Devices
379 # CONFIG_FB_MODE_HELPERS is not set
382 # Frame buffer hardware drivers
384 # CONFIG_FB_ARMCLCD is not set
385 # CONFIG_LCD_PLATFORM is not set
388 # Console display driver support
390 CONFIG_DUMMY_CONSOLE_COLUMNS=80
391 CONFIG_DUMMY_CONSOLE_ROWS=25
392 # CONFIG_SND_ES1968_INPUT is not set
393 # CONFIG_SND_LX6464ES is not set
394 # CONFIG_SND_MAESTRO3_INPUT is not set
397 # Common SoC Audio options for Freescale CPUs:
399 # CONFIG_SND_SOC_XTFPGA_I2S is not set
402 # Platform Glue Layer
404 CONFIG_MUSB_PIO_ONLY=y
407 # MMC/SD/SDIO Host Controller Drivers
410 # CONFIG_MMC_RICOH_MMC is not set
411 CONFIG_MMC_SDHCI_ACPI=m
412 # CONFIG_MMC_SDHCI_OF_ARASAN is not set
417 CONFIG_LEDS_INTEL_SS4200=m
420 # Platform RTC drivers
427 CONFIG_RTC_DRV_PL030=m
428 CONFIG_RTC_DRV_PL031=m
433 CONFIG_ASYNC_TX_ENABLE_CHANNEL_SWITCH=y
434 # CONFIG_AMBA_PL08X is not set
435 # CONFIG_DW_DMAC_PCI is not set
436 # CONFIG_PL330_DMA is not set
443 CONFIG_DMA_ENGINE_RAID=y
444 # CONFIG_UIO_AEC is not set
445 # CONFIG_UIO_SERCOS3 is not set
446 # CONFIG_UIO_PCI_GENERIC is not set
447 # CONFIG_UIO_MF624 is not set
452 CONFIG_I2O_EXT_ADAPTEC_DMA64=y
453 # CONFIG_FSL_MC_BUS is not set
456 # Common Clock Framework
458 CONFIG_COMMON_CLK_WM831X=y
459 CONFIG_COMMON_CLK_VERSATILE=y
461 CONFIG_CLK_VEXPRESS_OSC=y
462 CONFIG_COMMON_CLK_MAX77686=y
463 CONFIG_COMMON_CLK_XGENE=y
466 # Clock Source drivers
468 CONFIG_ARM_ARCH_TIMER=y
469 CONFIG_ARM_ARCH_TIMER_EVTSTREAM=y
470 # CONFIG_SH_TIMER_TMU is not set
472 # CONFIG_PL320_MBOX is not set
473 # CONFIG_PCC is not set
476 # Generic IOMMU Pagetable Support
478 # CONFIG_IOMMU_IO_PGTABLE_LPAE is not set
479 # CONFIG_ARM_SMMU is not set
482 # Analog to digital converters
484 # CONFIG_LP8788_ADC is not set
485 # CONFIG_TWL6030_GPADC is not set
488 # Temperature sensors
490 # CONFIG_PWM_FSL_FTM is not set
491 # CONFIG_PWM_LP3943 is not set
492 # CONFIG_PWM_PCA9685 is not set
493 # CONFIG_PWM_TWL is not set
494 # CONFIG_PWM_TWL_LED is not set
501 # CONFIG_PHY_EXYNOS4210_USB2 is not set
502 # CONFIG_PHY_EXYNOS4X12_USB2 is not set
503 # CONFIG_PHY_EXYNOS5250_USB2 is not set
513 # EFI (Extensible Firmware Interface) Support
516 CONFIG_EFI_VARS_PSTORE=y
517 # CONFIG_EFI_VARS_PSTORE_DEFAULT_DISABLE is not set
518 CONFIG_EFI_PARAMS_FROM_FDT=y
519 CONFIG_EFI_RUNTIME_WRAPPERS=y
522 CONFIG_ACPI_GENERIC_GSI=y
523 # CONFIG_ACPI_PROCFS_POWER is not set
524 # CONFIG_ACPI_EC_DEBUGFS is not set
529 # CONFIG_ACPI_CUSTOM_DSDT is not set
530 # CONFIG_ACPI_DEBUG is not set
531 # CONFIG_ACPI_PCI_SLOT is not set
532 CONFIG_ACPI_CONTAINER=y
534 CONFIG_ACPI_CUSTOM_METHOD=m
535 CONFIG_ACPI_REDUCED_HARDWARE_ONLY=y
536 # CONFIG_PMIC_OPREGION is not set
541 CONFIG_DCACHE_WORD_ACCESS=y
542 # CONFIG_FS_DAX is not set
547 # CONFIG_HUGETLBFS is not set
550 CONFIG_KVM_GENERIC_DIRTYLOG_READ_PROTECT=y
553 CONFIG_KVM_ARM_HOST=y
554 CONFIG_KVM_ARM_MAX_VCPUS=4
557 # Compile-time checks and compiler options
559 CONFIG_ARCH_WANT_FRAME_POINTERS=y
560 CONFIG_FRAME_POINTER=y
565 # CONFIG_DEBUG_PER_CPU_MAPS is not set
568 # Lock Debugging (spinlocks, mutexes, etc...)
570 # CONFIG_DEBUG_WW_MUTEX_SLOWPATH is not set
571 # CONFIG_DEBUG_LOCK_ALLOC is not set
572 # CONFIG_PROVE_LOCKING is not set
573 # CONFIG_LOCK_STAT is not set
578 CONFIG_RCU_CPU_STALL_TIMEOUT=21
579 # CONFIG_RCU_CPU_STALL_INFO is not set
580 CONFIG_FUNCTION_GRAPH_TRACER=y
585 # CONFIG_ARM64_PTDUMP is not set
586 # CONFIG_PID_IN_CONTEXTIDR is not set
587 # CONFIG_ARM64_RANDOMIZE_TEXT_OFFSET is not set
592 CONFIG_GRKERNSEC_KSTACKOVERFLOW=y
595 # Crypto core or helper
597 CONFIG_CRYPTO_PCRYPT=m
598 CONFIG_CRYPTO_ABLK_HELPER=m
601 # Random Number Generation
603 CONFIG_CRYPTO_DEV_CCP=y
604 CONFIG_CRYPTO_DEV_CCP_DD=m
605 CONFIG_CRYPTO_DEV_CCP_CRYPTO=m
606 CONFIG_ARM64_CRYPTO=y
607 CONFIG_CRYPTO_SHA1_ARM64_CE=m
608 CONFIG_CRYPTO_SHA2_ARM64_CE=m
609 CONFIG_CRYPTO_GHASH_ARM64_CE=m
610 CONFIG_CRYPTO_AES_ARM64_CE=m
611 CONFIG_CRYPTO_AES_ARM64_CE_CCM=m
612 CONFIG_CRYPTO_AES_ARM64_CE_BLK=m
613 CONFIG_CRYPTO_AES_ARM64_NEON_BLK=m
614 CONFIG_CRYPTO_CRC32_ARM64=m
619 CONFIG_AUDIT_ARCH_COMPAT_GENERIC=y
620 CONFIG_AUDIT_COMPAT_GENERIC=y
621 CONFIG_HAS_IOPORT_MAP=y