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
53 CONFIG_PREEMPT_NOTIFIERS=y
55 CONFIG_MUTEX_SPIN_ON_OWNER=y
56 CONFIG_RWSEM_SPIN_ON_OWNER=y
57 CONFIG_LOCK_SPIN_ON_OWNER=y
62 # CONFIG_ARCH_EXYNOS7 is not set
63 # CONFIG_ARCH_FSL_LS2085A is not set
64 # CONFIG_ARCH_MEDIATEK is not set
66 # CONFIG_ARCH_TEGRA is not set
67 # CONFIG_ARCH_THUNDER is not set
68 CONFIG_ARCH_VEXPRESS=y
75 CONFIG_PCI_DOMAINS_GENERIC=y
79 # PCI host controller drivers
82 CONFIG_HOTPLUG_PCI_PCIE=y
84 CONFIG_HOTPLUG_PCI_CPCI=y
85 CONFIG_HOTPLUG_PCI_SHPC=m
88 # ARM errata workarounds via the alternatives framework
90 CONFIG_ARM64_ERRATUM_826319=y
91 CONFIG_ARM64_ERRATUM_827319=y
92 CONFIG_ARM64_ERRATUM_824069=y
93 CONFIG_ARM64_ERRATUM_819472=y
94 CONFIG_ARM64_ERRATUM_832075=y
95 # CONFIG_ARM64_4K_PAGES is not set
96 CONFIG_ARM64_64K_PAGES=y
97 CONFIG_ARM64_VA_BITS_42=y
98 # CONFIG_ARM64_VA_BITS_48 is not set
99 CONFIG_ARM64_VA_BITS=42
100 CONFIG_ARM64_PGTABLE_LEVELS=2
107 CONFIG_ARCH_HAS_HOLES_MEMORYMODEL=y
108 CONFIG_ARCH_SPARSEMEM_ENABLE=y
109 CONFIG_ARCH_SPARSEMEM_DEFAULT=y
110 CONFIG_ARCH_SELECT_MEMORY_MODEL=y
111 CONFIG_SYS_SUPPORTS_HUGETLBFS=y
112 CONFIG_ARCH_HAS_CACHE_LINE_SIZE=y
113 CONFIG_SELECT_MEMORY_MODEL=y
114 CONFIG_SPARSEMEM_MANUAL=y
116 CONFIG_SPARSEMEM_EXTREME=y
117 CONFIG_SPARSEMEM_VMEMMAP_ENABLE=y
118 CONFIG_SPARSEMEM_VMEMMAP=y
119 CONFIG_SPLIT_PTLOCK_CPUS=4
120 CONFIG_PHYS_ADDR_T_64BIT=y
121 CONFIG_MMU_NOTIFIER=y
122 # CONFIG_TRANSPARENT_HUGEPAGE is not set
123 CONFIG_GENERIC_EARLY_IOREMAP=y
124 # CONFIG_XEN is not set
125 CONFIG_FORCE_MAX_ZONEORDER=11
136 # Power management options
138 CONFIG_PM_SLEEP_SMP=y
143 CONFIG_DT_IDLE_STATES=y
146 # ARM64 CPU Idle Drivers
148 CONFIG_ARM64_CPUIDLE=y
149 # CONFIG_ARCH_NEEDS_CPU_IDLE_COUPLED is not set
152 # CPU frequency scaling drivers
154 # CONFIG_ARM_KIRKWOOD_CPUFREQ is not set
162 CONFIG_NET_FLOW_LIMIT=y
171 # Generic Driver Options
173 # CONFIG_FW_LOADER_USER_HELPER_FALLBACK is not set
174 CONFIG_GENERIC_CPU_AUTOPROBE=y
177 # Device Tree and Open Firmware support
182 # Intel MIC Card Driver
184 # CONFIG_GENWQE is not set
189 # CONFIG_SCSI_LOWLEVEL_PCMCIA is not set
192 # Controllers with non-SFF native interface
197 # Distributed Switch Architecture drivers
202 # Input device support
204 CONFIG_INPUT_MATRIXKMAP=m
207 # Input Device Drivers
209 # CONFIG_KEYBOARD_SAMSUNG is not set
214 # CONFIG_SERIO_AMBAKMI is not set
217 # Non-8250 serial port support
219 CONFIG_SERIAL_AMBA_PL010=m
220 CONFIG_SERIAL_AMBA_PL011=m
221 CONFIG_HW_RANDOM_XGENE=m
224 # I2C system bus drivers (mostly embedded / system-on-chip)
227 CONFIG_I2C_VERSATILE=m
230 # Other I2C/SMBus bus drivers
232 # CONFIG_I2C_SLAVE is not set
242 CONFIG_PTP_1588_CLOCK=m
245 # Memory mapped GPIO drivers:
249 CONFIG_GPIO_XGENE_SB=m
252 # USB GPIO expanders:
254 CONFIG_POWER_RESET_XGENE=y
257 # Watchdog Device Drivers
259 CONFIG_ARM_SP805_WATCHDOG=m
262 # Multifunction device drivers
264 # CONFIG_MFD_ATMEL_HLCDC is not set
265 # CONFIG_ABX500_CORE is not set
268 # STMicroelectronics STMPE Interface Drivers
270 # CONFIG_MFD_VX855 is not set
271 # CONFIG_REGULATOR_88PM8607 is not set
272 # CONFIG_REGULATOR_GPIO is not set
273 # CONFIG_REGULATOR_LP872X is not set
274 # CONFIG_REGULATOR_LP8788 is not set
275 # CONFIG_REGULATOR_TWL4030 is not set
278 # Media digital TV PCI Adapters
280 # CONFIG_VIDEO_CAFE_CCIC is not set
283 # I2C encoder or helper chips
285 # CONFIG_DRM_I2C_CH7006 is not set
286 # CONFIG_DRM_I2C_SIL164 is not set
287 # CONFIG_DRM_I2C_NXP_TDA998X is not set
292 # CONFIG_DRM_PANEL_SIMPLE is not set
293 # CONFIG_DRM_PANEL_S6E8AA0 is not set
296 # Frame buffer Devices
298 # CONFIG_FB_MODE_HELPERS is not set
301 # Frame buffer hardware drivers
303 # CONFIG_FB_ARMCLCD is not set
304 # CONFIG_LCD_PLATFORM is not set
307 # Console display driver support
309 CONFIG_DUMMY_CONSOLE_COLUMNS=80
310 CONFIG_DUMMY_CONSOLE_ROWS=25
311 # CONFIG_SND_ES1968_INPUT is not set
312 # CONFIG_SND_LX6464ES is not set
313 # CONFIG_SND_MAESTRO3_INPUT is not set
316 # Common SoC Audio options for Freescale CPUs:
318 # CONFIG_SND_SOC_XTFPGA_I2S is not set
321 # Platform Glue Layer
323 CONFIG_MUSB_PIO_ONLY=y
326 # USB Physical Layer drivers
328 CONFIG_NOP_USB_XCEIV=m
331 # MMC/SD/SDIO Host Controller Drivers
334 # CONFIG_MMC_RICOH_MMC is not set
335 # CONFIG_MMC_SDHCI_OF_ARASAN is not set
340 CONFIG_LEDS_INTEL_SS4200=m
343 # Platform RTC drivers
350 CONFIG_RTC_DRV_PL030=m
351 CONFIG_RTC_DRV_PL031=m
356 # CONFIG_AMBA_PL08X is not set
357 # CONFIG_DW_DMAC_PCI is not set
358 # CONFIG_PL330_DMA is not set
363 # CONFIG_UIO_AEC is not set
364 # CONFIG_UIO_SERCOS3 is not set
365 # CONFIG_UIO_PCI_GENERIC is not set
366 # CONFIG_UIO_MF624 is not set
371 CONFIG_I2O_EXT_ADAPTEC_DMA64=y
374 # Common Clock Framework
376 CONFIG_COMMON_CLK_WM831X=y
377 CONFIG_COMMON_CLK_VERSATILE=y
379 CONFIG_CLK_VEXPRESS_OSC=y
380 CONFIG_COMMON_CLK_MAX77686=y
381 CONFIG_COMMON_CLK_XGENE=y
384 # Clock Source drivers
386 CONFIG_ARM_ARCH_TIMER=y
387 CONFIG_ARM_ARCH_TIMER_EVTSTREAM=y
388 # CONFIG_SH_TIMER_TMU is not set
389 # CONFIG_PL320_MBOX is not set
392 # Generic IOMMU Pagetable Support
394 # CONFIG_IOMMU_IO_PGTABLE_LPAE is not set
395 # CONFIG_ARM_SMMU is not set
398 # Analog to digital converters
400 # CONFIG_LP8788_ADC is not set
401 # CONFIG_TWL6030_GPADC is not set
404 # Temperature sensors
406 # CONFIG_PWM_FSL_FTM is not set
407 # CONFIG_PWM_LP3943 is not set
408 # CONFIG_PWM_PCA9685 is not set
409 # CONFIG_PWM_TWL is not set
410 # CONFIG_PWM_TWL_LED is not set
417 # CONFIG_PHY_EXYNOS4210_USB2 is not set
418 # CONFIG_PHY_EXYNOS4X12_USB2 is not set
419 # CONFIG_PHY_EXYNOS5250_USB2 is not set
425 # CONFIG_FIRMWARE_MEMMAP is not set
430 # EFI (Extensible Firmware Interface) Support
433 CONFIG_EFI_VARS_PSTORE=y
434 # CONFIG_EFI_VARS_PSTORE_DEFAULT_DISABLE is not set
435 CONFIG_EFI_PARAMS_FROM_FDT=y
436 CONFIG_EFI_RUNTIME_WRAPPERS=y
442 CONFIG_DCACHE_WORD_ACCESS=y
443 # CONFIG_FS_DAX is not set
448 # CONFIG_HUGETLBFS is not set
451 CONFIG_KVM_GENERIC_DIRTYLOG_READ_PROTECT=y
453 CONFIG_KVM_ARM_HOST=y
454 CONFIG_KVM_ARM_MAX_VCPUS=4
455 CONFIG_KVM_ARM_VGIC=y
456 CONFIG_KVM_ARM_TIMER=y
459 # Compile-time checks and compiler options
461 CONFIG_ARCH_WANT_FRAME_POINTERS=y
462 CONFIG_FRAME_POINTER=y
467 # CONFIG_DEBUG_PER_CPU_MAPS is not set
470 # Lock Debugging (spinlocks, mutexes, etc...)
472 # CONFIG_DEBUG_WW_MUTEX_SLOWPATH is not set
473 # CONFIG_DEBUG_LOCK_ALLOC is not set
474 # CONFIG_PROVE_LOCKING is not set
475 # CONFIG_LOCK_STAT is not set
480 CONFIG_RCU_CPU_STALL_TIMEOUT=21
481 # CONFIG_RCU_CPU_STALL_INFO is not set
482 CONFIG_FUNCTION_GRAPH_TRACER=y
487 # CONFIG_ARM64_PTDUMP is not set
488 # CONFIG_PID_IN_CONTEXTIDR is not set
489 # CONFIG_ARM64_RANDOMIZE_TEXT_OFFSET is not set
494 CONFIG_GRKERNSEC_KSTACKOVERFLOW=y
497 # Crypto core or helper
499 CONFIG_CRYPTO_PCRYPT=m
500 CONFIG_CRYPTO_ABLK_HELPER=m
503 # Random Number Generation
505 CONFIG_CRYPTO_DEV_CCP=y
506 CONFIG_CRYPTO_DEV_CCP_DD=m
507 CONFIG_CRYPTO_DEV_CCP_CRYPTO=m
508 CONFIG_ARM64_CRYPTO=y
509 CONFIG_CRYPTO_SHA1_ARM64_CE=m
510 CONFIG_CRYPTO_SHA2_ARM64_CE=m
511 CONFIG_CRYPTO_GHASH_ARM64_CE=m
512 CONFIG_CRYPTO_AES_ARM64_CE=m
513 CONFIG_CRYPTO_AES_ARM64_CE_CCM=m
514 CONFIG_CRYPTO_AES_ARM64_CE_BLK=m
515 CONFIG_CRYPTO_AES_ARM64_NEON_BLK=m
516 CONFIG_CRYPTO_CRC32_ARM64=m
521 CONFIG_AUDIT_ARCH_COMPAT_GENERIC=y
522 CONFIG_HAS_IOPORT_MAP=y