3 CONFIG_ARCH_PHYS_ADDR_T_64BIT=y
5 CONFIG_ARCH_DMA_ADDR_T_64BIT=y
6 CONFIG_NEED_SG_DMA_LENGTH=y
7 CONFIG_KERNEL_MODE_NEON=y
8 CONFIG_FIX_EARLYCON_MEM=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
61 # CONFIG_ARCH_THUNDER is not set
62 CONFIG_ARCH_VEXPRESS=y
70 CONFIG_PCI_DOMAINS_GENERIC=y
73 # PCI host controller drivers
76 CONFIG_HOTPLUG_PCI_PCIE=y
78 CONFIG_HOTPLUG_PCI_CPCI=y
79 CONFIG_HOTPLUG_PCI_SHPC=m
84 # CONFIG_ARM64_4K_PAGES is not set
85 CONFIG_ARM64_64K_PAGES=y
86 CONFIG_ARM64_VA_BITS_42=y
87 # CONFIG_ARM64_VA_BITS_48 is not set
88 CONFIG_ARM64_VA_BITS=42
89 CONFIG_ARM64_PGTABLE_LEVELS=2
96 CONFIG_ARCH_HAS_HOLES_MEMORYMODEL=y
97 CONFIG_ARCH_SPARSEMEM_ENABLE=y
98 CONFIG_ARCH_SPARSEMEM_DEFAULT=y
99 CONFIG_ARCH_SELECT_MEMORY_MODEL=y
100 CONFIG_SYS_SUPPORTS_HUGETLBFS=y
101 CONFIG_ARCH_HAS_CACHE_LINE_SIZE=y
102 CONFIG_SELECT_MEMORY_MODEL=y
103 CONFIG_SPARSEMEM_MANUAL=y
105 CONFIG_SPARSEMEM_EXTREME=y
106 CONFIG_SPARSEMEM_VMEMMAP_ENABLE=y
107 CONFIG_SPARSEMEM_VMEMMAP=y
108 CONFIG_SPLIT_PTLOCK_CPUS=4
109 CONFIG_PHYS_ADDR_T_64BIT=y
110 CONFIG_MMU_NOTIFIER=y
111 # CONFIG_TRANSPARENT_HUGEPAGE is not set
112 CONFIG_GENERIC_EARLY_IOREMAP=y
113 # CONFIG_XEN is not set
114 CONFIG_FORCE_MAX_ZONEORDER=11
124 # Power management options
126 CONFIG_PM_SLEEP_SMP=y
127 CONFIG_ARM64_CPU_SUSPEND=y
132 CONFIG_DT_IDLE_STATES=y
135 # ARM64 CPU Idle Drivers
137 CONFIG_ARM64_CPUIDLE=y
138 # CONFIG_ARCH_NEEDS_CPU_IDLE_COUPLED is not set
141 # ARM CPU frequency scaling drivers
143 # CONFIG_ARM_KIRKWOOD_CPUFREQ is not set
151 CONFIG_NET_FLOW_LIMIT=y
154 # Generic Driver Options
156 CONFIG_GENERIC_CPU_AUTOPROBE=y
159 # Device Tree and Open Firmware support
164 # Intel MIC Card Driver
166 # CONFIG_GENWQE is not set
171 # CONFIG_SCSI_LOWLEVEL_PCMCIA is not set
174 # Controllers with non-SFF native interface
179 # IEEE 1394 (FireWire) support
181 CONFIG_I2O_EXT_ADAPTEC_DMA64=y
184 # Distributed Switch Architecture drivers
189 # Input device support
191 CONFIG_INPUT_MATRIXKMAP=m
194 # Input Device Drivers
196 # CONFIG_KEYBOARD_SAMSUNG is not set
201 # CONFIG_SERIO_AMBAKMI is not set
204 # Non-8250 serial port support
206 CONFIG_SERIAL_AMBA_PL010=m
207 CONFIG_SERIAL_AMBA_PL011=m
208 CONFIG_HW_RANDOM_XGENE=m
211 # I2C system bus drivers (mostly embedded / system-on-chip)
214 CONFIG_I2C_VERSATILE=m
224 CONFIG_PTP_1588_CLOCK=m
227 # Memory mapped GPIO drivers:
235 CONFIG_POWER_RESET_XGENE=y
238 # Watchdog Device Drivers
240 CONFIG_ARM_SP805_WATCHDOG=m
243 # Multifunction device drivers
245 # CONFIG_ABX500_CORE is not set
248 # STMicroelectronics STMPE Interface Drivers
250 # CONFIG_MFD_VX855 is not set
251 # CONFIG_REGULATOR_88PM8607 is not set
252 # CONFIG_REGULATOR_GPIO is not set
253 # CONFIG_REGULATOR_LP872X is not set
254 # CONFIG_REGULATOR_LP8788 is not set
255 # CONFIG_REGULATOR_TWL4030 is not set
258 # Media digital TV PCI Adapters
260 # CONFIG_VIDEO_CAFE_CCIC is not set
263 # I2C encoder or helper chips
265 # CONFIG_DRM_I2C_CH7006 is not set
266 # CONFIG_DRM_I2C_SIL164 is not set
267 # CONFIG_DRM_I2C_NXP_TDA998X is not set
270 # Frame buffer Devices
272 CONFIG_FB_SYS_FILLRECT=m
273 CONFIG_FB_SYS_COPYAREA=m
274 CONFIG_FB_SYS_IMAGEBLIT=m
275 # CONFIG_FB_MODE_HELPERS is not set
278 # Frame buffer hardware drivers
280 # CONFIG_FB_ARMCLCD is not set
281 # CONFIG_LCD_PLATFORM is not set
284 # Console display driver support
286 # CONFIG_SND_ES1968_INPUT is not set
287 # CONFIG_SND_LX6464ES is not set
288 # CONFIG_SND_MAESTRO3_INPUT is not set
291 # USB Physical Layer drivers
293 CONFIG_NOP_USB_XCEIV=m
296 # MMC/SD/SDIO Host Controller Drivers
299 # CONFIG_MMC_RICOH_MMC is not set
300 # CONFIG_MMC_SDHCI_OF_ARASAN is not set
301 # CONFIG_MMC_SDHCI_PXAV3 is not set
302 # CONFIG_MMC_SDHCI_PXAV2 is not set
305 # Platform RTC drivers
312 CONFIG_RTC_DRV_PL030=m
313 CONFIG_RTC_DRV_PL031=m
318 # CONFIG_AMBA_PL08X is not set
319 # CONFIG_DW_DMAC_PCI is not set
320 # CONFIG_PL330_DMA is not set
325 # CONFIG_UIO_AEC is not set
326 # CONFIG_UIO_SERCOS3 is not set
327 # CONFIG_UIO_PCI_GENERIC is not set
328 # CONFIG_UIO_MF624 is not set
331 # Common Clock Framework
333 CONFIG_COMMON_CLK_WM831X=y
334 CONFIG_COMMON_CLK_VERSATILE=y
336 CONFIG_CLK_VEXPRESS_OSC=y
337 CONFIG_COMMON_CLK_MAX77686=y
338 CONFIG_COMMON_CLK_XGENE=y
341 # Clock Source drivers
343 CONFIG_ARM_ARCH_TIMER=y
344 CONFIG_ARM_ARCH_TIMER_EVTSTREAM=y
345 # CONFIG_SH_TIMER_TMU is not set
346 # CONFIG_PL320_MBOX is not set
347 # CONFIG_ARM_SMMU is not set
350 # Analog to digital converters
352 # CONFIG_LP8788_ADC is not set
353 # CONFIG_TWL6030_GPADC is not set
356 # Temperature sensors
358 # CONFIG_PWM_FSL_FTM is not set
359 # CONFIG_PWM_LP3943 is not set
360 # CONFIG_PWM_PCA9685 is not set
361 # CONFIG_PWM_TWL is not set
362 # CONFIG_PWM_TWL_LED is not set
369 # CONFIG_PHY_EXYNOS4210_USB2 is not set
370 # CONFIG_PHY_EXYNOS4X12_USB2 is not set
371 # CONFIG_PHY_EXYNOS5250_USB2 is not set
377 # CONFIG_FIRMWARE_MEMMAP is not set
380 # EFI (Extensible Firmware Interface) Support
383 CONFIG_EFI_VARS_PSTORE=y
384 # CONFIG_EFI_VARS_PSTORE_DEFAULT_DISABLE is not set
385 CONFIG_EFI_PARAMS_FROM_FDT=y
386 CONFIG_EFI_RUNTIME_WRAPPERS=y
392 CONFIG_DCACHE_WORD_ACCESS=y
397 # CONFIG_HUGETLBFS is not set
401 CONFIG_KVM_ARM_HOST=y
402 CONFIG_KVM_ARM_MAX_VCPUS=4
403 CONFIG_KVM_ARM_VGIC=y
404 CONFIG_KVM_ARM_TIMER=y
407 # Compile-time checks and compiler options
409 CONFIG_ARCH_WANT_FRAME_POINTERS=y
410 CONFIG_FRAME_POINTER=y
415 # CONFIG_DEBUG_PER_CPU_MAPS is not set
418 # Lock Debugging (spinlocks, mutexes, etc...)
420 # CONFIG_DEBUG_WW_MUTEX_SLOWPATH is not set
421 # CONFIG_DEBUG_LOCK_ALLOC is not set
422 # CONFIG_PROVE_LOCKING is not set
423 # CONFIG_LOCK_STAT is not set
428 CONFIG_RCU_CPU_STALL_TIMEOUT=21
429 # CONFIG_RCU_CPU_STALL_INFO is not set
430 CONFIG_FUNCTION_GRAPH_TRACER=y
435 # CONFIG_PID_IN_CONTEXTIDR is not set
436 # CONFIG_ARM64_RANDOMIZE_TEXT_OFFSET is not set
441 CONFIG_GRKERNSEC_KSTACKOVERFLOW=y
444 # Crypto core or helper
446 CONFIG_CRYPTO_PCRYPT=m
447 CONFIG_CRYPTO_ABLK_HELPER=m
450 # Random Number Generation
452 CONFIG_CRYPTO_DEV_CCP=y
453 CONFIG_CRYPTO_DEV_CCP_DD=m
454 CONFIG_CRYPTO_DEV_CCP_CRYPTO=m
455 CONFIG_ARM64_CRYPTO=y
456 CONFIG_CRYPTO_SHA1_ARM64_CE=m
457 CONFIG_CRYPTO_SHA2_ARM64_CE=m
458 CONFIG_CRYPTO_GHASH_ARM64_CE=m
459 CONFIG_CRYPTO_AES_ARM64_CE=m
460 CONFIG_CRYPTO_AES_ARM64_CE_CCM=m
461 CONFIG_CRYPTO_AES_ARM64_CE_BLK=m
462 CONFIG_CRYPTO_AES_ARM64_NEON_BLK=m
467 CONFIG_GENERIC_IOMAP=y
468 CONFIG_AUDIT_ARCH_COMPAT_GENERIC=y
469 CONFIG_HAS_IOPORT_MAP=y