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_SYS_HYPERVISOR is not set
157 CONFIG_GENERIC_CPU_AUTOPROBE=y
160 # Device Tree and Open Firmware support
165 # Intel MIC Card Driver
167 # CONFIG_GENWQE is not set
172 # CONFIG_SCSI_LOWLEVEL_PCMCIA is not set
175 # Controllers with non-SFF native interface
180 # IEEE 1394 (FireWire) support
182 CONFIG_I2O_EXT_ADAPTEC_DMA64=y
185 # Distributed Switch Architecture drivers
190 # Input device support
192 CONFIG_INPUT_MATRIXKMAP=m
195 # Input Device Drivers
197 # CONFIG_KEYBOARD_SAMSUNG is not set
202 # CONFIG_SERIO_AMBAKMI is not set
205 # Non-8250 serial port support
207 CONFIG_SERIAL_AMBA_PL010=m
208 CONFIG_SERIAL_AMBA_PL011=m
209 CONFIG_HW_RANDOM_XGENE=m
212 # I2C system bus drivers (mostly embedded / system-on-chip)
215 CONFIG_I2C_VERSATILE=m
225 CONFIG_PTP_1588_CLOCK=m
228 # Memory mapped GPIO drivers:
236 CONFIG_POWER_RESET_XGENE=y
239 # Watchdog Device Drivers
241 CONFIG_ARM_SP805_WATCHDOG=m
244 # Multifunction device drivers
246 # CONFIG_ABX500_CORE is not set
249 # STMicroelectronics STMPE Interface Drivers
251 # CONFIG_MFD_VX855 is not set
252 # CONFIG_REGULATOR_88PM8607 is not set
253 # CONFIG_REGULATOR_GPIO is not set
254 # CONFIG_REGULATOR_LP872X is not set
255 # CONFIG_REGULATOR_LP8788 is not set
256 # CONFIG_REGULATOR_TWL4030 is not set
259 # Media digital TV PCI Adapters
261 # CONFIG_VIDEO_CAFE_CCIC is not set
264 # I2C encoder or helper chips
266 # CONFIG_DRM_I2C_CH7006 is not set
267 # CONFIG_DRM_I2C_SIL164 is not set
268 # CONFIG_DRM_I2C_NXP_TDA998X is not set
271 # Frame buffer Devices
273 CONFIG_FB_SYS_FILLRECT=m
274 CONFIG_FB_SYS_COPYAREA=m
275 CONFIG_FB_SYS_IMAGEBLIT=m
277 # CONFIG_FB_MODE_HELPERS is not set
280 # Frame buffer hardware drivers
282 # CONFIG_FB_ARMCLCD is not set
283 # CONFIG_LCD_PLATFORM is not set
286 # Console display driver support
288 # CONFIG_SND_ES1968_INPUT is not set
289 # CONFIG_SND_LX6464ES is not set
290 # CONFIG_SND_MAESTRO3_INPUT is not set
293 # USB Physical Layer drivers
295 CONFIG_NOP_USB_XCEIV=m
298 # MMC/SD/SDIO Host Controller Drivers
301 # CONFIG_MMC_RICOH_MMC is not set
302 # CONFIG_MMC_SDHCI_OF_ARASAN is not set
303 # CONFIG_MMC_SDHCI_PXAV3 is not set
304 # CONFIG_MMC_SDHCI_PXAV2 is not set
307 # Platform RTC drivers
314 CONFIG_RTC_DRV_PL030=m
315 CONFIG_RTC_DRV_PL031=m
320 # CONFIG_AMBA_PL08X is not set
321 # CONFIG_DW_DMAC_PCI is not set
322 # CONFIG_PL330_DMA is not set
327 # CONFIG_UIO_AEC is not set
328 # CONFIG_UIO_SERCOS3 is not set
329 # CONFIG_UIO_PCI_GENERIC is not set
330 # CONFIG_UIO_MF624 is not set
333 # Common Clock Framework
335 CONFIG_COMMON_CLK_WM831X=y
336 CONFIG_COMMON_CLK_VERSATILE=y
338 CONFIG_CLK_VEXPRESS_OSC=y
339 CONFIG_COMMON_CLK_MAX77686=y
340 CONFIG_COMMON_CLK_XGENE=y
343 # Clock Source drivers
345 CONFIG_ARM_ARCH_TIMER=y
346 CONFIG_ARM_ARCH_TIMER_EVTSTREAM=y
347 # CONFIG_SH_TIMER_TMU is not set
348 # CONFIG_PL320_MBOX is not set
349 # CONFIG_ARM_SMMU is not set
352 # Analog to digital converters
354 # CONFIG_LP8788_ADC is not set
355 # CONFIG_TWL6030_GPADC is not set
358 # Temperature sensors
360 # CONFIG_PWM_FSL_FTM is not set
361 # CONFIG_PWM_LP3943 is not set
362 # CONFIG_PWM_PCA9685 is not set
363 # CONFIG_PWM_TWL is not set
364 # CONFIG_PWM_TWL_LED is not set
371 # CONFIG_PHY_EXYNOS4210_USB2 is not set
372 # CONFIG_PHY_EXYNOS4X12_USB2 is not set
373 # CONFIG_PHY_EXYNOS5250_USB2 is not set
379 # CONFIG_FIRMWARE_MEMMAP is not set
382 # EFI (Extensible Firmware Interface) Support
385 CONFIG_EFI_VARS_PSTORE=y
386 # CONFIG_EFI_VARS_PSTORE_DEFAULT_DISABLE is not set
387 CONFIG_EFI_PARAMS_FROM_FDT=y
388 CONFIG_EFI_RUNTIME_WRAPPERS=y
394 CONFIG_DCACHE_WORD_ACCESS=y
399 # CONFIG_HUGETLBFS is not set
403 CONFIG_KVM_ARM_HOST=y
404 CONFIG_KVM_ARM_MAX_VCPUS=4
405 CONFIG_KVM_ARM_VGIC=y
406 CONFIG_KVM_ARM_TIMER=y
409 # Compile-time checks and compiler options
411 CONFIG_ARCH_WANT_FRAME_POINTERS=y
412 CONFIG_FRAME_POINTER=y
417 # CONFIG_DEBUG_PER_CPU_MAPS is not set
422 CONFIG_RCU_CPU_STALL_TIMEOUT=21
423 # CONFIG_RCU_CPU_STALL_INFO is not set
424 CONFIG_FUNCTION_GRAPH_TRACER=y
429 # CONFIG_PID_IN_CONTEXTIDR is not set
430 # CONFIG_ARM64_RANDOMIZE_TEXT_OFFSET is not set
435 CONFIG_GRKERNSEC_KSTACKOVERFLOW=y
438 # Crypto core or helper
440 CONFIG_CRYPTO_PCRYPT=m
441 CONFIG_CRYPTO_ABLK_HELPER=m
444 # Random Number Generation
446 CONFIG_CRYPTO_DEV_CCP=y
447 CONFIG_CRYPTO_DEV_CCP_DD=m
448 CONFIG_CRYPTO_DEV_CCP_CRYPTO=m
449 CONFIG_ARM64_CRYPTO=y
450 CONFIG_CRYPTO_SHA1_ARM64_CE=m
451 CONFIG_CRYPTO_SHA2_ARM64_CE=m
452 CONFIG_CRYPTO_GHASH_ARM64_CE=m
453 CONFIG_CRYPTO_AES_ARM64_CE=m
454 CONFIG_CRYPTO_AES_ARM64_CE_CCM=m
455 CONFIG_CRYPTO_AES_ARM64_CE_BLK=m
456 CONFIG_CRYPTO_AES_ARM64_NEON_BLK=m
461 CONFIG_GENERIC_IOMAP=y
462 CONFIG_AUDIT_ARCH_COMPAT_GENERIC=y
463 CONFIG_HAS_IOPORT_MAP=y