2 CONFIG_MIGHT_HAVE_PCI=y
3 CONFIG_SYS_SUPPORTS_APM_EMULATION=y
4 # CONFIG_ARCH_USES_GETTIMEOFFSET is not set
6 CONFIG_HARDIRQS_SW_RESEND=y
7 CONFIG_RWSEM_GENERIC_SPINLOCK=y
8 CONFIG_VECTORS_BASE=0xffff0000
9 CONFIG_ARM_PATCH_PHYS_VIRT=y
14 CONFIG_BROKEN_ON_SMP=y
20 # CONFIG_IRQ_DOMAIN_DEBUG is not set
26 CONFIG_PERF_USE_VMALLOC=y
29 # GCOV-based kernel profiling
36 # CONFIG_MUTEX_SPIN_ON_OWNER is not set
41 # CONFIG_ARCH_INTEGRATOR is not set
42 # CONFIG_ARCH_REALVIEW is not set
43 CONFIG_ARCH_VERSATILE=y
44 # CONFIG_ARCH_VEXPRESS is not set
45 # CONFIG_ARCH_AT91 is not set
46 # CONFIG_ARCH_BCMRING is not set
47 # CONFIG_ARCH_HIGHBANK is not set
48 # CONFIG_ARCH_CLPS711X is not set
49 # CONFIG_ARCH_CNS3XXX is not set
50 # CONFIG_ARCH_GEMINI is not set
51 # CONFIG_ARCH_PRIMA2 is not set
52 # CONFIG_ARCH_EBSA110 is not set
53 # CONFIG_ARCH_EP93XX is not set
54 # CONFIG_ARCH_FOOTBRIDGE is not set
55 # CONFIG_ARCH_MXC is not set
56 # CONFIG_ARCH_MXS is not set
57 # CONFIG_ARCH_NETX is not set
58 # CONFIG_ARCH_H720X is not set
59 # CONFIG_ARCH_IOP13XX is not set
60 # CONFIG_ARCH_IOP32X is not set
61 # CONFIG_ARCH_IOP33X is not set
62 # CONFIG_ARCH_IXP23XX is not set
63 # CONFIG_ARCH_IXP2000 is not set
64 # CONFIG_ARCH_IXP4XX is not set
65 # CONFIG_ARCH_DOVE is not set
66 # CONFIG_ARCH_KIRKWOOD is not set
67 # CONFIG_ARCH_LPC32XX is not set
68 # CONFIG_ARCH_MV78XX0 is not set
69 # CONFIG_ARCH_ORION5X is not set
70 # CONFIG_ARCH_MMP is not set
71 # CONFIG_ARCH_KS8695 is not set
72 # CONFIG_ARCH_W90X900 is not set
73 # CONFIG_ARCH_TEGRA is not set
74 # CONFIG_ARCH_PICOXCELL is not set
75 # CONFIG_ARCH_PNX4008 is not set
76 # CONFIG_ARCH_PXA is not set
77 # CONFIG_ARCH_MSM is not set
78 # CONFIG_ARCH_SHMOBILE is not set
79 # CONFIG_ARCH_RPC is not set
80 # CONFIG_ARCH_SA1100 is not set
81 # CONFIG_ARCH_S3C24XX is not set
82 # CONFIG_ARCH_S3C64XX is not set
83 # CONFIG_ARCH_S5P64X0 is not set
84 # CONFIG_ARCH_S5PC100 is not set
85 # CONFIG_ARCH_S5PV210 is not set
86 # CONFIG_ARCH_EXYNOS is not set
87 # CONFIG_ARCH_SHARK is not set
88 # CONFIG_ARCH_U300 is not set
89 # CONFIG_ARCH_U8500 is not set
90 # CONFIG_ARCH_NOMADIK is not set
91 # CONFIG_ARCH_DAVINCI is not set
92 # CONFIG_ARCH_OMAP is not set
93 # CONFIG_PLAT_SPEAR is not set
94 # CONFIG_ARCH_VT8500 is not set
95 # CONFIG_ARCH_ZYNQ is not set
98 # Versatile platform type
100 CONFIG_ARCH_VERSATILE_PB=y
101 CONFIG_MACH_VERSATILE_AB=y
102 CONFIG_MACH_VERSATILE_DT=y
103 CONFIG_PLAT_VERSATILE_CLCD=y
104 CONFIG_PLAT_VERSATILE_FPGA_IRQ=y
105 CONFIG_PLAT_VERSATILE_LEDS=y
106 CONFIG_PLAT_VERSATILE_SCHED_CLOCK=y
107 CONFIG_PLAT_VERSATILE=y
108 CONFIG_ARM_TIMER_SP804=y
115 CONFIG_CPU_ABRT_EV5TJ=y
116 CONFIG_CPU_PABRT_LEGACY=y
117 CONFIG_CPU_CACHE_VIVT=y
118 CONFIG_CPU_COPY_V4WB=y
119 CONFIG_CPU_TLB_V4WBI=y
121 CONFIG_CPU_CP15_MMU=y
122 CONFIG_CPU_USE_DOMAINS=y
127 # CONFIG_ARCH_PHYS_ADDR_T_64BIT is not set
129 # CONFIG_CPU_ICACHE_DISABLE is not set
130 # CONFIG_CPU_DCACHE_DISABLE is not set
131 # CONFIG_CPU_DCACHE_WRITETHROUGH is not set
132 # CONFIG_CPU_CACHE_ROUND_ROBIN is not set
133 # CONFIG_CACHE_L2X0 is not set
134 CONFIG_ARM_L1_CACHE_SHIFT=5
135 CONFIG_ARM_NR_BANKS=8
136 CONFIG_MULTI_IRQ_HANDLER=y
146 # CONFIG_ARCH_SUPPORTS_MSI is not set
147 # CONFIG_PCI_PRI is not set
148 # CONFIG_PCI_PASID is not set
154 # CONFIG_VMSPLIT_2G is not set
155 # CONFIG_VMSPLIT_1G is not set
156 CONFIG_PAGE_OFFSET=0xC0000000
157 CONFIG_ARCH_NR_GPIO=0
160 # CONFIG_OABI_COMPAT is not set
161 # CONFIG_ARCH_SPARSEMEM_DEFAULT is not set
162 # CONFIG_ARCH_SELECT_MEMORY_MODEL is not set
164 # CONFIG_HIGHPTE is not set
165 CONFIG_FLATMEM_MANUAL=y
167 CONFIG_FLAT_NODE_MEM_MAP=y
168 CONFIG_SPLIT_PTLOCK_CPUS=999999
169 # CONFIG_PHYS_ADDR_T_64BIT is not set
170 CONFIG_ZONE_DMA_FLAG=0
171 CONFIG_DEFAULT_MMAP_MIN_ADDR=32768
172 CONFIG_NEED_PER_CPU_KM=y
173 CONFIG_FORCE_MAX_ZONEORDER=11
176 CONFIG_ALIGNMENT_TRAP=y
177 # CONFIG_UACCESS_WITH_MEMCPY is not set
178 # CONFIG_DEPRECATED_PARAM_STRUCT is not set
184 CONFIG_ZBOOT_ROM_TEXT=0
185 CONFIG_ZBOOT_ROM_BSS=0
186 CONFIG_ARM_APPENDED_DTB=y
187 # CONFIG_ARM_ATAG_DTB_COMPAT is not set
188 CONFIG_CMDLINE="console=ttyAM0,115200 root=/dev/sda1 rootdelay=20"
189 CONFIG_CMDLINE_FROM_BOOTLOADER=y
190 # CONFIG_CMDLINE_EXTEND is not set
191 # CONFIG_CMDLINE_FORCE is not set
192 # CONFIG_XIP_KERNEL is not set
194 CONFIG_AUTO_ZRELADDR=y
197 # CPU Power Management
199 # CONFIG_CPU_IDLE is not set
202 # At least one emulation must be selected
207 # Power management options
209 CONFIG_APM_EMULATION=y
212 CONFIG_ARM_CPU_SUSPEND=y
220 # Bluetooth device drivers
222 # CONFIG_RFKILL_GPIO is not set
225 # Generic Driver Options
227 # CONFIG_SYS_HYPERVISOR is not set
232 # Device Tree and Open Firmware support
234 CONFIG_PROC_DEVICETREE=y
235 # CONFIG_OF_SELFTEST is not set
237 CONFIG_OF_EARLY_FLATTREE=y
247 # CONFIG_BLK_DEV_PCIESSD_MTIP32XX is not set
248 # CONFIG_MG_DISK is not set
253 # CONFIG_SENSORS_LIS3LV02D is not set
254 # CONFIG_ATMEL_PWM is not set
255 # CONFIG_SGI_IOC4 is not set
256 # CONFIG_ARM_CHARLCD is not set
261 # CONFIG_SCSI_ACARD is not set
262 # CONFIG_SCSI_ADVANSYS is not set
263 # CONFIG_SCSI_NSP32 is not set
266 # IEEE 1394 (FireWire) support
268 # CONFIG_ATM_HE is not set
271 # Distributed Switch Architecture drivers
273 CONFIG_NET_VENDOR_CIRRUS=y
275 CONFIG_CS89x0_PLATFORM=y
277 # CONFIG_DM9000_FORCE_SIMPLE_PHY_POLL is not set
278 CONFIG_NET_VENDOR_FARADAY=y
279 # CONFIG_FTMAC100 is not set
280 # CONFIG_FTGMAC100 is not set
281 # CONFIG_MLX4_EN is not set
282 # CONFIG_MLX4_CORE is not set
284 CONFIG_AX88796_93CX6=y
288 # CONFIG_SMSC911X_ARCH_HOOKS is not set
289 # CONFIG_SUNGEM is not set
292 # ISDN feature submodules
294 # CONFIG_ISDN_DRV_LOOP is not set
297 # Input Device Drivers
299 # CONFIG_KEYBOARD_SAMSUNG is not set
304 CONFIG_SERIO_AMBAKMI=m
309 # CONFIG_SERIAL_8250_DW is not set
312 # Non-8250 serial port support
314 CONFIG_SERIAL_AMBA_PL011=y
315 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
316 CONFIG_SERIAL_OF_PLATFORM=m
317 # CONFIG_HVC_DCC is not set
320 # PC SMBus host controller drivers
329 # I2C system bus drivers (mostly embedded / system-on-chip)
331 # CONFIG_I2C_DESIGNWARE_PLATFORM is not set
332 CONFIG_I2C_VERSATILE=m
335 # Memory mapped GPIO drivers:
337 # CONFIG_GPIO_PL061 is not set
342 # CONFIG_APM_POWER is not set
345 # Watchdog Device Drivers
347 # CONFIG_ARM_SP805_WATCHDOG is not set
348 # CONFIG_DW_WATCHDOG is not set
349 # CONFIG_MAX63XX_WATCHDOG is not set
352 # Multifunction device drivers
354 # CONFIG_MFD_ASIC3 is not set
355 # CONFIG_HTC_EGPIO is not set
356 # CONFIG_MFD_T7L66XB is not set
357 # CONFIG_MFD_TC6387XB is not set
358 # CONFIG_MFD_TC6393XB is not set
361 # Customize TV tuners
363 CONFIG_VIDEOBUF2_DMA_CONTIG=m
366 # Miscelaneous helper chips
368 CONFIG_VIDEO_CAFE_CCIC=m
369 # CONFIG_VIDEO_SH_MOBILE_CSI2 is not set
370 # CONFIG_VIDEO_SH_MOBILE_CEU is not set
375 # CONFIG_DRM_RADEON is not set
376 # CONFIG_DRM_NOUVEAU is not set
379 # I2C encoder or helper chips
381 CONFIG_DRM_I2C_CH7006=m
382 CONFIG_DRM_I2C_SIL164=m
383 # CONFIG_FB_BOOT_VESA_SUPPORT is not set
384 CONFIG_FB_CFB_FILLRECT=m
385 CONFIG_FB_CFB_COPYAREA=m
386 CONFIG_FB_CFB_IMAGEBLIT=m
387 CONFIG_FB_SYS_FILLRECT=m
388 CONFIG_FB_SYS_COPYAREA=m
389 CONFIG_FB_SYS_IMAGEBLIT=m
393 # Frame buffer hardware drivers
396 # CONFIG_FB_RADEON is not set
397 # CONFIG_FB_SAVAGE is not set
400 # Console display driver support
402 # CONFIG_SND_ALI5451 is not set
406 CONFIG_SND_SOC_I2C_AND_SPI=m
407 # CONFIG_SND_SOC_ALL_CODECS is not set
410 # OTG and related infrastructure
412 # CONFIG_USB_ULPI is not set
415 # MMC/SD/SDIO Host Controller Drivers
418 CONFIG_MMC_SDHCI_PXAV3=m
419 CONFIG_MMC_SDHCI_PXAV2=m
421 # CONFIG_MMC_DW_IDMAC is not set
422 CONFIG_MMC_DW_PLTFM=m
428 # CONFIG_LEDS_RENESAS_TPU is not set
433 CONFIG_RTC_DRV_PL030=m
434 CONFIG_RTC_DRV_PL031=m
439 # CONFIG_AMBA_PL08X is not set
440 # CONFIG_DW_DMAC is not set
446 CONFIG_CLKDEV_LOOKUP=y
449 # Hardware Spinlock drivers
456 # CONFIG_HUGETLB_PAGE is not set
461 # CONFIG_HARDLOCKUP_DETECTOR is not set
462 # CONFIG_DEBUG_HIGHMEM is not set
463 CONFIG_FUNCTION_GRAPH_TRACER=y
466 # CONFIG_DEBUG_USER is not set
467 # CONFIG_DEBUG_LL is not set
468 # CONFIG_OC_ETM is not set
471 # Miscellaneous hardening features
473 CONFIG_PAX_MEMORY_SANITIZE=y
476 # Executable Protections
478 # CONFIG_GRKERNSEC_SETXID is not set
483 CONFIG_LSM_MMAP_MIN_ADDR=32768
486 # Random Number Generation
488 CONFIG_CRYPTO_DEV_HIFN_795X=m
489 CONFIG_CRYPTO_DEV_HIFN_795X_RNG=y
494 CONFIG_AUDIT_GENERIC=y
495 CONFIG_GENERIC_ATOMIC64=y