2 CONFIG_MIGHT_HAVE_PCI=y
3 CONFIG_SYS_SUPPORTS_APM_EMULATION=y
4 CONFIG_RWSEM_GENERIC_SPINLOCK=y
5 CONFIG_VECTORS_BASE=0xffff0000
6 CONFIG_ARM_PATCH_PHYS_VIRT=y
11 CONFIG_BROKEN_ON_SMP=y
16 CONFIG_HARDIRQS_SW_RESEND=y
25 # CPU/Task time and stats accounting
27 CONFIG_TICK_CPU_ACCOUNTING=y
28 # CONFIG_IRQ_TIME_ACCOUNTING is not set
34 # CONFIG_RCU_STALL_COMMON is not set
35 CONFIG_GENERIC_SCHED_CLOCK=y
36 CONFIG_PERF_USE_VMALLOC=y
39 # Kernel Performance Events And Counters
41 CONFIG_GENERIC_IDLE_POLL_SETUP=y
42 CONFIG_ARCH_WANT_IPC_PARSE_VERSION=y
43 CONFIG_MODULES_USE_ELF_REL=y
44 CONFIG_CLONE_BACKWARDS=y
45 CONFIG_OLD_SIGACTION=y
48 # GCOV-based kernel profiling
55 # CONFIG_ARCH_MULTIPLATFORM is not set
56 # CONFIG_ARCH_INTEGRATOR is not set
57 # CONFIG_ARCH_REALVIEW is not set
58 CONFIG_ARCH_VERSATILE=y
59 # CONFIG_ARCH_AT91 is not set
60 # CONFIG_ARCH_CLPS711X is not set
61 # CONFIG_ARCH_GEMINI is not set
62 # CONFIG_ARCH_EBSA110 is not set
63 # CONFIG_ARCH_EP93XX is not set
64 # CONFIG_ARCH_FOOTBRIDGE is not set
65 # CONFIG_ARCH_NETX is not set
66 # CONFIG_ARCH_IOP13XX is not set
67 # CONFIG_ARCH_IOP32X is not set
68 # CONFIG_ARCH_IOP33X is not set
69 # CONFIG_ARCH_IXP4XX is not set
70 # CONFIG_ARCH_DOVE is not set
71 # CONFIG_ARCH_KIRKWOOD is not set
72 # CONFIG_ARCH_MV78XX0 is not set
73 # CONFIG_ARCH_ORION5X is not set
74 # CONFIG_ARCH_MMP is not set
75 # CONFIG_ARCH_KS8695 is not set
76 # CONFIG_ARCH_W90X900 is not set
77 # CONFIG_ARCH_LPC32XX is not set
78 # CONFIG_ARCH_PXA is not set
79 # CONFIG_ARCH_MSM is not set
80 # CONFIG_ARCH_SHMOBILE is not set
81 # CONFIG_ARCH_RPC is not set
82 # CONFIG_ARCH_SA1100 is not set
83 # CONFIG_ARCH_S3C24XX is not set
84 # CONFIG_ARCH_S3C64XX is not set
85 # CONFIG_ARCH_S5P64X0 is not set
86 # CONFIG_ARCH_S5PC100 is not set
87 # CONFIG_ARCH_S5PV210 is not set
88 # CONFIG_ARCH_EXYNOS is not set
89 # CONFIG_ARCH_SHARK is not set
90 # CONFIG_ARCH_DAVINCI is not set
91 # CONFIG_ARCH_OMAP1 is not set
92 # CONFIG_PLAT_SPEAR is not set
95 # Versatile platform type
97 CONFIG_ARCH_VERSATILE_PB=y
98 CONFIG_MACH_VERSATILE_AB=y
99 CONFIG_MACH_VERSATILE_DT=y
100 CONFIG_PLAT_VERSATILE_CLOCK=y
101 CONFIG_PLAT_VERSATILE_CLCD=y
102 CONFIG_PLAT_VERSATILE_LEDS=y
103 CONFIG_PLAT_VERSATILE_SCHED_CLOCK=y
104 CONFIG_PLAT_VERSATILE=y
105 CONFIG_ARM_TIMER_SP804=y
112 CONFIG_CPU_ABRT_EV5TJ=y
113 CONFIG_CPU_PABRT_LEGACY=y
114 CONFIG_CPU_CACHE_VIVT=y
115 CONFIG_CPU_COPY_V4WB=y
116 CONFIG_CPU_TLB_V4WBI=y
118 CONFIG_CPU_CP15_MMU=y
119 CONFIG_CPU_USE_DOMAINS=y
124 # CONFIG_ARCH_PHYS_ADDR_T_64BIT is not set
126 # CONFIG_CPU_ICACHE_DISABLE is not set
127 # CONFIG_CPU_DCACHE_DISABLE is not set
128 # CONFIG_CPU_DCACHE_WRITETHROUGH is not set
129 # CONFIG_CPU_CACHE_ROUND_ROBIN is not set
130 CONFIG_NEED_KUSER_HELPERS=y
131 CONFIG_KUSER_HELPERS=y
132 # CONFIG_CACHE_L2X0 is not set
133 CONFIG_ARM_L1_CACHE_SHIFT=5
134 CONFIG_ARM_NR_BANKS=8
135 CONFIG_MULTI_IRQ_HANDLER=y
143 # CONFIG_PCI_PRI is not set
144 # CONFIG_PCI_PASID is not set
147 # PCI host controller drivers
149 CONFIG_PCIEASPM_DEFAULT=y
150 # CONFIG_PCIEASPM_POWERSAVE is not set
156 # CONFIG_VMSPLIT_2G is not set
157 # CONFIG_VMSPLIT_1G is not set
158 CONFIG_PAGE_OFFSET=0xC0000000
159 CONFIG_ARCH_NR_GPIO=0
161 # CONFIG_HZ_200 is not set
162 # CONFIG_HZ_500 is not set
164 # CONFIG_OABI_COMPAT is not set
165 # CONFIG_ARCH_SPARSEMEM_DEFAULT is not set
166 # CONFIG_ARCH_SELECT_MEMORY_MODEL is not set
168 # CONFIG_HIGHPTE is not set
169 CONFIG_HW_PERF_EVENTS=y
171 CONFIG_FLAT_NODE_MEM_MAP=y
172 CONFIG_SPLIT_PTLOCK_CPUS=999999
173 # CONFIG_PHYS_ADDR_T_64BIT is not set
174 CONFIG_ZONE_DMA_FLAG=0
175 CONFIG_DEFAULT_MMAP_MIN_ADDR=32768
176 CONFIG_NEED_PER_CPU_KM=y
177 CONFIG_FORCE_MAX_ZONEORDER=11
178 CONFIG_ALIGNMENT_TRAP=y
179 # CONFIG_UACCESS_WITH_MEMCPY is not set
186 # CONFIG_DEPRECATED_PARAM_STRUCT is not set
187 CONFIG_ZBOOT_ROM_TEXT=0
188 CONFIG_ZBOOT_ROM_BSS=0
189 CONFIG_ARM_APPENDED_DTB=y
190 # CONFIG_ARM_ATAG_DTB_COMPAT is not set
191 CONFIG_CMDLINE="console=ttyAM0,115200 root=/dev/sda1 rootdelay=20"
192 CONFIG_CMDLINE_FROM_BOOTLOADER=y
193 # CONFIG_CMDLINE_EXTEND is not set
194 # CONFIG_CMDLINE_FORCE is not set
195 # CONFIG_XIP_KERNEL is not set
196 CONFIG_AUTO_ZRELADDR=y
201 # CONFIG_CPU_IDLE is not set
204 # At least one emulation must be selected
209 # Power management options
211 CONFIG_APM_EMULATION=y
213 CONFIG_ARM_CPU_SUSPEND=y
221 # Bluetooth device drivers
223 # CONFIG_RFKILL_GPIO is not set
226 # Generic Driver Options
228 # CONFIG_SYS_HYPERVISOR is not set
232 # Default contiguous memory area size:
234 CONFIG_CMA_SIZE_MBYTES=16
235 CONFIG_CMA_SIZE_SEL_MBYTES=y
236 # CONFIG_CMA_SIZE_SEL_PERCENTAGE is not set
237 # CONFIG_CMA_SIZE_SEL_MIN is not set
238 # CONFIG_CMA_SIZE_SEL_MAX is not set
239 CONFIG_CMA_ALIGNMENT=8
250 # Device Tree and Open Firmware support
252 CONFIG_PROC_DEVICETREE=y
253 # CONFIG_OF_SELFTEST is not set
255 CONFIG_OF_EARLY_FLATTREE=y
262 # CONFIG_BLK_DEV_PCIESSD_MTIP32XX is not set
263 # CONFIG_MG_DISK is not set
268 # CONFIG_SENSORS_LIS3LV02D is not set
269 # CONFIG_SGI_IOC4 is not set
270 # CONFIG_ARM_CHARLCD is not set
275 # CONFIG_SCSI_ACARD is not set
276 # CONFIG_SCSI_NSP32 is not set
279 # IEEE 1394 (FireWire) support
281 # CONFIG_ATM_HE is not set
284 # Distributed Switch Architecture drivers
287 CONFIG_NET_VENDOR_CIRRUS=y
289 CONFIG_CS89x0_PLATFORM=y
291 # CONFIG_DM9000_FORCE_SIMPLE_PHY_POLL is not set
292 CONFIG_NET_VENDOR_FARADAY=y
293 # CONFIG_FTMAC100 is not set
294 # CONFIG_FTGMAC100 is not set
295 # CONFIG_MLX4_EN is not set
296 # CONFIG_MLX4_CORE is not set
298 CONFIG_AX88796_93CX6=y
301 # CONFIG_SUNGEM is not set
304 # MII PHY device drivers
306 CONFIG_MDIO_BUS_MUX=m
307 CONFIG_MDIO_BUS_MUX_GPIO=m
308 CONFIG_MDIO_BUS_MUX_MMIOREG=m
311 # ISDN feature submodules
313 # CONFIG_ISDN_DRV_LOOP is not set
316 # Userland interfaces
318 # CONFIG_INPUT_APMPOWER is not set
321 # Input Device Drivers
323 CONFIG_INPUT_PWM_BEEPER=m
328 CONFIG_SERIO_AMBAKMI=m
329 CONFIG_SERIO_APBPS2=m
330 # CONFIG_SERIO_OLPC_APSP is not set
335 # CONFIG_SERIAL_8250_DW is not set
336 # CONFIG_SERIAL_8250_EM is not set
339 # Non-8250 serial port support
341 CONFIG_SERIAL_AMBA_PL011=y
342 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
343 CONFIG_SERIAL_OF_PLATFORM=y
344 # CONFIG_SERIAL_XILINX_PS_UART is not set
345 # CONFIG_HVC_DCC is not set
348 # PC SMBus host controller drivers
357 # I2C system bus drivers (mostly embedded / system-on-chip)
359 # CONFIG_I2C_DESIGNWARE_PLATFORM is not set
361 CONFIG_I2C_VERSATILE=m
364 # Enable PHYLIB and NETWORK_PHY_TIMESTAMPING to see the additional clocks.
366 CONFIG_ARCH_HAVE_CUSTOM_GPIO_H=y
370 # Memory mapped GPIO drivers:
372 # CONFIG_GPIO_EM is not set
373 # CONFIG_GPIO_PL061 is not set
374 # CONFIG_GPIO_RCAR is not set
375 # CONFIG_GPIO_GRGPIO is not set
378 # I2C GPIO expanders:
385 # CONFIG_APM_POWER is not set
386 CONFIG_POWER_RESET_GPIO=y
387 CONFIG_POWER_RESET_RESTART=y
388 CONFIG_POWER_RESET_VEXPRESS=y
393 CONFIG_SENSORS_VEXPRESS=m
396 # Watchdog Device Drivers
398 # CONFIG_ARM_SP805_WATCHDOG is not set
399 # CONFIG_DW_WATCHDOG is not set
400 # CONFIG_MAX63XX_WATCHDOG is not set
403 # Multifunction device drivers
405 # CONFIG_MFD_ASIC3 is not set
406 # CONFIG_HTC_EGPIO is not set
407 # CONFIG_MFD_T7L66XB is not set
408 # CONFIG_MFD_TC6387XB is not set
409 # CONFIG_MFD_TC6393XB is not set
410 CONFIG_VEXPRESS_CONFIG=y
413 # Media digital TV PCI Adapters
415 CONFIG_VIDEO_CAFE_CCIC=m
416 # CONFIG_VIDEO_SH_MOBILE_CSI2 is not set
417 # CONFIG_VIDEO_SH_MOBILE_CEU is not set
420 # Camera sensor devices
422 CONFIG_VIDEO_OV7670=m
427 CONFIG_DRM_GEM_CMA_HELPER=y
428 CONFIG_DRM_KMS_CMA_HELPER=y
431 # I2C encoder or helper chips
433 CONFIG_DRM_I2C_CH7006=m
434 CONFIG_DRM_I2C_SIL164=m
435 # CONFIG_DRM_RADEON is not set
436 # CONFIG_DRM_NOUVEAU is not set
438 CONFIG_DRM_RCAR_LVDS=y
439 CONFIG_DRM_SHMOBILE=m
440 # CONFIG_DRM_TILCDC is not set
441 CONFIG_FB_SYS_FILLRECT=y
442 CONFIG_FB_SYS_COPYAREA=y
443 CONFIG_FB_SYS_IMAGEBLIT=y
444 # CONFIG_FB_BACKLIGHT is not set
447 # Frame buffer hardware drivers
449 # CONFIG_FB_ARMCLCD is not set
450 CONFIG_BACKLIGHT_PWM=m
453 # Console display driver support
455 # CONFIG_FB_SSD1307 is not set
456 CONFIG_SND_COMPRESS_OFFLOAD=m
457 # CONFIG_SND_ALI5451 is not set
461 CONFIG_SND_ATMEL_SOC=m
462 CONFIG_SND_DESIGNWARE_I2S=m
463 CONFIG_SND_SOC_I2C_AND_SPI=m
464 CONFIG_SND_SIMPLE_CARD=m
467 # USB Physical Layer drivers
472 # MMC/SD/SDIO Host Controller Drivers
476 # CONFIG_MMC_DW_IDMAC is not set
477 CONFIG_MMC_DW_PLTFM=m
478 CONFIG_MMC_DW_EXYNOS=m
487 # iptables trigger is under Netfilter config (LED target)
489 # CONFIG_EDAC is not set
494 CONFIG_RTC_DRV_PL030=m
495 CONFIG_RTC_DRV_PL031=m
496 CONFIG_RTC_DRV_SNVS=m
501 # CONFIG_AMBA_PL08X is not set
502 # CONFIG_DW_DMAC is not set
507 # Hardware Spinlock drivers
515 # Analog to digital converters
517 # CONFIG_EXYNOS_ADC is not set
520 # Temperature sensors
528 CONFIG_VERSATILE_FPGA_IRQ=y
529 CONFIG_VERSATILE_FPGA_IRQ_NR=4
534 # CONFIG_DEBUG_HIGHMEM is not set
539 # CONFIG_FTRACE_SYSCALLS is not set
546 # CONFIG_DEBUG_USER is not set
547 # CONFIG_DEBUG_LL is not set
548 CONFIG_DEBUG_LL_INCLUDE="debug/pl01x.S"
549 CONFIG_DEBUG_UART_PL01X=y
550 # CONFIG_DEBUG_UART_8250 is not set
551 CONFIG_DEBUG_UART_PHYS=0x101f1000
552 CONFIG_DEBUG_UART_VIRT=0xf11f1000
553 CONFIG_UNCOMPRESS_INCLUDE="mach/uncompress.h"
554 # CONFIG_OC_ETM is not set
557 # Miscellaneous hardening features
559 CONFIG_PAX_MEMORY_SANITIZE=y
564 CONFIG_GRKERNSEC_JIT_HARDEN=y
567 # Executable Protections
569 # CONFIG_GRKERNSEC_SETXID is not set
574 CONFIG_LSM_MMAP_MIN_ADDR=32768
577 # Crypto core or helper
579 CONFIG_CRYPTO_GF128MUL=m
590 CONFIG_CRYPTO_SHA1_ARM=m
595 CONFIG_CRYPTO_AES_ARM=m
598 # Random Number Generation
600 CONFIG_CRYPTO_DEV_HIFN_795X=m
601 CONFIG_CRYPTO_DEV_HIFN_795X_RNG=y
606 CONFIG_AUDIT_GENERIC=y
607 CONFIG_GENERIC_ATOMIC64=y