2 CONFIG_ARCH_DMA_ADDR_T_64BIT=y
3 CONFIG_ARCH_HAS_ATOMIC64_DEC_IF_POSITIVE=y
4 CONFIG_ARCH_HAS_HOLES_MEMORYMODEL=y
5 CONFIG_ARCH_HAS_TICK_BROADCAST=y
6 CONFIG_ARCH_PHYS_ADDR_T_64BIT=y
7 CONFIG_ARCH_REQUIRE_GPIOLIB=y
8 CONFIG_ARCH_SELECT_MEMORY_MODEL=y
9 CONFIG_ARCH_SPARSEMEM_DEFAULT=y
10 CONFIG_ARCH_SPARSEMEM_ENABLE=y
11 CONFIG_ARCH_SUPPORTS_ATOMIC_RMW=y
12 CONFIG_ARCH_SUSPEND_POSSIBLE=y
13 CONFIG_ARCH_USE_CMPXCHG_LOCKREF=y
14 CONFIG_ARCH_VEXPRESS=y
15 CONFIG_ARCH_WANT_COMPAT_IPC_PARSE_VERSION=y
16 CONFIG_ARCH_WANT_FRAME_POINTERS=y
17 CONFIG_ARCH_WANT_GENERAL_HUGETLB=y
18 CONFIG_ARCH_WANT_HUGE_PMD_SHARE=y
19 CONFIG_ARCH_WANT_OPTIONAL_GPIOLIB=y
20 # CONFIG_ARCH_XGENE is not set
22 # CONFIG_ARM64_64K_PAGES is not set
23 # CONFIG_ARM64_CPU_SUSPEND is not set
25 CONFIG_ARM_ARCH_TIMER=y
26 CONFIG_ARM_ARCH_TIMER_EVTSTREAM=y
28 # CONFIG_ARM_SP805_WATCHDOG is not set
29 CONFIG_ATOMIC64_SELFTEST=y
30 # CONFIG_BLK_CGROUP is not set
33 CONFIG_BSD_PROCESS_ACCT=y
34 CONFIG_BSD_PROCESS_ACCT_V3=y
35 CONFIG_CC_OPTIMIZE_FOR_SIZE=y
36 # CONFIG_CFS_BANDWIDTH is not set
38 # CONFIG_CGROUP_CPUACCT is not set
39 # CONFIG_CGROUP_DEVICE is not set
40 # CONFIG_CGROUP_FREEZER is not set
41 # CONFIG_CGROUP_NET_CLASSID is not set
43 CONFIG_CLKDEV_LOOKUP=y
45 CONFIG_CLONE_BACKWARDS=y
46 CONFIG_CMDLINE="console=ttyAMA0"
48 CONFIG_COMMON_CLK_VERSATILE=y
49 CONFIG_COMMON_CLK_XGENE=y
51 CONFIG_COMPAT_BINFMT_ELF=y
52 CONFIG_COMPAT_OLD_SIGACTION=y
53 # CONFIG_CPUSETS is not set
54 # CONFIG_CPU_BIG_ENDIAN is not set
57 CONFIG_CRYPTO_CRC32C=y
61 CONFIG_DCACHE_WORD_ACCESS=y
63 CONFIG_DEFAULT_IOSCHED="noop"
71 CONFIG_FAIR_GROUP_SCHED=y
75 CONFIG_FB_CFB_COPYAREA=y
76 CONFIG_FB_CFB_FILLRECT=y
77 CONFIG_FB_CFB_IMAGEBLIT=y
78 CONFIG_FRAME_POINTER=y
81 CONFIG_GENERIC_CLOCKEVENTS=y
82 CONFIG_GENERIC_CLOCKEVENTS_BROADCAST=y
83 CONFIG_GENERIC_CLOCKEVENTS_BUILD=y
86 CONFIG_GENERIC_IOMAP=y
87 CONFIG_GENERIC_IRQ_SHOW=y
88 CONFIG_GENERIC_PCI_IOMAP=y
89 CONFIG_GENERIC_SCHED_CLOCK=y
90 CONFIG_GENERIC_SMP_IDLE_THREAD=y
91 CONFIG_GENERIC_STRNCPY_FROM_USER=y
92 CONFIG_GENERIC_STRNLEN_USER=y
93 CONFIG_GENERIC_TIME_VSYSCALL=y
96 CONFIG_HARDIRQS_SW_RESEND=y
99 # CONFIG_HAVE_64BIT_ALIGNED_ACCESS is not set
100 CONFIG_HAVE_ARCH_JUMP_LABEL=y
101 CONFIG_HAVE_ARCH_PFN_VALID=y
102 CONFIG_HAVE_ARCH_TRACEHOOK=y
103 CONFIG_HAVE_ARCH_TRANSPARENT_HUGEPAGE=y
104 # CONFIG_HAVE_BOOTMEM_INFO_NODE is not set
106 CONFIG_HAVE_CLK_PREPARE=y
107 CONFIG_HAVE_DEBUG_BUGVERBOSE=y
108 CONFIG_HAVE_DEBUG_KMEMLEAK=y
109 CONFIG_HAVE_DMA_API_DEBUG=y
110 CONFIG_HAVE_DMA_ATTRS=y
111 CONFIG_HAVE_DMA_CONTIGUOUS=y
112 CONFIG_HAVE_EFFICIENT_UNALIGNED_ACCESS=y
113 CONFIG_HAVE_GENERIC_DMA_COHERENT=y
114 CONFIG_HAVE_MEMBLOCK=y
115 CONFIG_HAVE_MEMORY_PRESENT=y
116 CONFIG_HAVE_NET_DSA=y
117 CONFIG_HAVE_PATA_PLATFORM=y
118 CONFIG_HAVE_PERF_EVENTS=y
120 CONFIG_HAVE_VIRT_CPU_ACCOUNTING_GEN=y
121 # CONFIG_HUGETLBFS is not set
123 CONFIG_IKCONFIG_PROC=y
124 CONFIG_INITRAMFS_SOURCE=""
125 CONFIG_IOMMU_HELPER=y
126 # CONFIG_IOSCHED_DEADLINE is not set
128 CONFIG_IP_PNP_BOOTP=y
130 # CONFIG_IP_PNP_RARP is not set
138 CONFIG_LOGO_LINUX_CLUT224=y
139 # CONFIG_LOGO_LINUX_MONO is not set
140 # CONFIG_LOGO_LINUX_VGA16 is not set
141 CONFIG_LOG_BUF_SHIFT=14
143 # CONFIG_MISC_FILESYSTEMS is not set
146 CONFIG_MODULES_USE_ELF_RELA=y
147 # CONFIG_MTD_PHYSMAP_OF is not set
148 CONFIG_MUTEX_SPIN_ON_OWNER=y
149 CONFIG_NEED_DMA_MAP_STATE=y
150 CONFIG_NEED_SG_DMA_LENGTH=y
151 # CONFIG_NET_CLS_CGROUP is not set
152 CONFIG_NET_FLOW_LIMIT=y
155 CONFIG_NLS_CODEPAGE_437=y
156 CONFIG_NLS_ISO8859_1=y
159 CONFIG_NO_HZ_COMMON=y
165 CONFIG_OF_EARLY_FLATTREE=y
171 CONFIG_OLD_SIGSUSPEND3=y
172 CONFIG_PAGEFLAGS_EXTENDED=y
173 CONFIG_PERF_USE_VMALLOC=y
174 CONFIG_PHYS_ADDR_T_64BIT=y
175 CONFIG_POSIX_MQUEUE=y
176 CONFIG_POSIX_MQUEUE_SYSCTL=y
178 # CONFIG_POWER_RESET_GPIO is not set
179 CONFIG_POWER_RESET_VEXPRESS=y
180 # CONFIG_POWER_RESET_XGENE is not set
181 CONFIG_POWER_SUPPLY=y
182 # CONFIG_PREEMPT_NONE is not set
183 # CONFIG_PREEMPT_RCU is not set
184 CONFIG_PREEMPT_VOLUNTARY=y
186 CONFIG_RCU_STALL_COMMON=y
187 # CONFIG_RESOURCE_COUNTERS is not set
191 # CONFIG_RT_GROUP_SCHED is not set
192 CONFIG_SCHED_AUTOGROUP=y
194 # CONFIG_SCSI_LOWLEVEL is not set
195 # CONFIG_SCSI_PROC_FS is not set
196 # CONFIG_SERIAL_AMBA_PL010 is not set
197 CONFIG_SERIAL_AMBA_PL011=y
198 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
202 CONFIG_SPARSEMEM_EXTREME=y
203 CONFIG_SPARSEMEM_MANUAL=y
204 CONFIG_SPARSEMEM_VMEMMAP=y
205 CONFIG_SPARSEMEM_VMEMMAP_ENABLE=y
207 CONFIG_STOP_MACHINE=y
209 # CONFIG_SWAP is not set
211 CONFIG_SYSCTL_EXCEPTION_TRACE=y
212 CONFIG_SYSVIPC_COMPAT=y
213 CONFIG_SYS_SUPPORTS_HUGETLBFS=y
214 CONFIG_TICK_CPU_ACCOUNTING=y
217 CONFIG_VEXPRESS_CONFIG=y
221 # CONFIG_VIRTIO_CONSOLE is not set
223 # CONFIG_VIRTIO_MMIO_CMDLINE_DEVICES is not set
224 # CONFIG_VIRTIO_NET is not set
225 # CONFIG_WIRELESS is not set
226 # CONFIG_WLAN is not set
227 # CONFIG_XEN is not set
230 CONFIG_ZONE_DMA_FLAG=0