2 # Automatically generated make config: don't edit
6 CONFIG_RWSEM_GENERIC_SPINLOCK=y
7 # CONFIG_RWSEM_XCHGADD_ALGORITHM is not set
8 # CONFIG_ISA is not set
9 # CONFIG_ISAPNP is not set
10 # CONFIG_EISA is not set
11 # CONFIG_MCA is not set
14 # Code maturity level options
19 # Loadable module support
22 # CONFIG_MODVERSIONS is not set
27 # Processor type and features
33 # CONFIG_UCLINUX_AUTO is not set
34 # CONFIG_ML401 is not set
36 # CONFIG_EGRET01 is not set
37 # CONFIG_SUZAKU is not set
39 # CONFIG_MODEL_ROM is not set
40 CONFIG_CPU_CLOCK_FREQ=100000000
41 # CONFIG_MICROBLAZE_MSRSETCLR is not set
42 CONFIG_MICROBLAZE_HARD_MULT=y
43 CONFIG_MICROBLAZE_HARD_DIV=y
44 CONFIG_MICROBLAZE_HARD_BARREL=y
45 CONFIG_MICROBLAZE_ICACHE=y
46 CONFIG_MICROBLAZE_ICACHE_BASE=0x80000000
47 CONFIG_MICROBLAZE_ICACHE_SIZE=0x1000
48 CONFIG_MICROBLAZE_DCACHE=y
49 CONFIG_MICROBLAZE_DCACHE_BASE=0x80000000
50 CONFIG_MICROBLAZE_DCACHE_SIZE=0x1000
51 CONFIG_MICROBLAZE_DEBUG_UART=y
52 # CONFIG_UARTLITE_SERIAL_CONSOLE is not set
55 # CONFIG_XILINX_SYSACE is not set
56 # CONFIG_MBVANILLA_CMDLINE is not set
62 CONFIG_MICROBLAZE_DEBUGGING=y
67 # CONFIG_PCI is not set
69 # CONFIG_DISK is not set
70 # CONFIG_HOTPLUG is not set
71 # CONFIG_PCMCIA is not set
72 # CONFIG_SYSVIPC is not set
73 # CONFIG_BSD_PROCESS_ACCT is not set
74 # CONFIG_SYSCTL is not set
76 # CONFIG_KCORE_AOUT is not set
79 # CONFIG_CONTIGUOUS_PAGE_ALLOC is not set
80 # CONFIG_MEM_MAP is not set
81 # CONFIG_NO_MMU_LARGE_ALLOCS is not set
84 # Memory Technology Devices (MTD)
87 # CONFIG_MTD_DEBUG is not set
88 CONFIG_MTD_PARTITIONS=y
89 # CONFIG_MTD_CONCAT is not set
90 # CONFIG_MTD_REDBOOT_PARTS is not set
91 # CONFIG_MTD_UCBOOTSTRAP_PARTS is not set
92 # CONFIG_MTD_CMDLINE_PARTS is not set
95 # User Modules And Translation Layers
99 # CONFIG_FTL is not set
100 # CONFIG_NFTL is not set
101 # CONFIG_INFTL is not set
104 # RAM/ROM/Flash chip drivers
106 # CONFIG_MTD_CFI is not set
107 # CONFIG_MTD_JEDECPROBE is not set
108 # CONFIG_MTD_GEN_PROBE is not set
109 # CONFIG_MTD_CFI_INTELEXT is not set
110 # CONFIG_MTD_CFI_AMDSTD is not set
111 # CONFIG_MTD_CFI_STAA is not set
114 # CONFIG_MTD_ABSENT is not set
115 # CONFIG_MTD_OBSOLETE_CHIPS is not set
116 # CONFIG_MTD_AMDSTD is not set
117 # CONFIG_MTD_SHARP is not set
118 # CONFIG_MTD_JEDEC is not set
119 # CONFIG_MTD_PSD4256G is not set
122 # Mapping drivers for chip access
124 # CONFIG_MTD_PHYSMAP is not set
125 # CONFIG_MTD_UCBOOTSTRAP is not set
126 # CONFIG_MTD_DRAGONIX is not set
127 # CONFIG_MTD_NETtel is not set
128 # CONFIG_MTD_SNAPGEODE is not set
129 # CONFIG_MTD_NETteluC is not set
130 CONFIG_MTD_MBVANILLA=y
132 # CONFIG_FLASHNONE is not set
133 # CONFIG_FLASH128KB is not set
134 # CONFIG_FLASH1MB is not set
135 # CONFIG_FLASH2MB is not set
136 # CONFIG_FLASH4MB is not set
137 # CONFIG_FLASH6MB is not set
138 # CONFIG_FLASH8MB is not set
139 # CONFIG_MTD_MB_AUTO is not set
140 # CONFIG_MTD_ML401 is not set
141 # CONFIG_MTD_SUZAKU is not set
142 # CONFIG_MTD_KeyTechnology is not set
143 # CONFIG_MTD_SED_SIOSIII is not set
145 # CONFIG_MTD_PCI is not set
146 # CONFIG_MTD_PCMCIA is not set
149 # Self-contained MTD device drivers
151 # CONFIG_MTD_PMC551 is not set
152 # CONFIG_MTD_SLRAM is not set
153 # CONFIG_MTD_MTDRAM is not set
154 # CONFIG_MTD_MTDCNXT is not set
155 # CONFIG_MTD_BLKMTD is not set
158 # Disk-On-Chip Device Drivers
160 # CONFIG_MTD_DOC1000 is not set
161 # CONFIG_MTD_DOC2000 is not set
162 # CONFIG_MTD_DOC2001 is not set
163 # CONFIG_MTD_DOC2001PLUS is not set
164 # CONFIG_MTD_DOCPROBE is not set
167 # NAND Flash Device Drivers
169 # CONFIG_MTD_NAND is not set
174 # CONFIG_BLK_DEV_FD is not set
175 # CONFIG_BLK_DEV_XD is not set
176 # CONFIG_PARIDE is not set
177 # CONFIG_BLK_CPQ_DA is not set
178 # CONFIG_BLK_CPQ_CISS_DA is not set
179 # CONFIG_CISS_SCSI_TAPE is not set
180 # CONFIG_CISS_MONITOR_THREAD is not set
181 # CONFIG_BLK_DEV_DAC960 is not set
182 # CONFIG_BLK_DEV_UMEM is not set
183 # CONFIG_BLK_DEV_SX8 is not set
184 # CONFIG_BLK_DEV_LOOP is not set
185 # CONFIG_BLK_DEV_NBD is not set
187 CONFIG_BLK_DEV_RAM_SIZE=4096
188 CONFIG_BLK_DEV_INITRD=y
189 CONFIG_BLK_DEV_RAMDISK_DATA=y
190 # CONFIG_BLK_DEV_BLKMEM is not set
191 # CONFIG_BLK_STATS is not set
197 # CONFIG_PACKET_MMAP is not set
198 # CONFIG_NETLINK_DEV is not set
199 # CONFIG_NETFILTER is not set
200 # CONFIG_FILTER is not set
201 # CONFIG_NET_NEIGH_DEBUG is not set
202 # CONFIG_NET_RESTRICTED_REUSE is not set
205 # CONFIG_IP_MULTICAST is not set
206 # CONFIG_IP_ADVANCED_ROUTER is not set
207 # CONFIG_IP_PNP is not set
208 # CONFIG_NET_ARP_LIMIT is not set
209 # CONFIG_NET_IPIP is not set
210 # CONFIG_NET_IPGRE is not set
211 # CONFIG_ARPD is not set
212 # CONFIG_INET_ECN is not set
213 # CONFIG_SYN_COOKIES is not set
214 # CONFIG_IPV6 is not set
215 # CONFIG_KHTTPD is not set
218 # SCTP Configuration (EXPERIMENTAL)
220 # CONFIG_IP_SCTP is not set
221 # CONFIG_ATM is not set
222 # CONFIG_VLAN_8021Q is not set
227 # CONFIG_IPX is not set
228 # CONFIG_ATALK is not set
229 # CONFIG_DECNET is not set
230 # CONFIG_BRIDGE is not set
231 # CONFIG_X25 is not set
232 # CONFIG_LAPB is not set
233 # CONFIG_LLC is not set
234 # CONFIG_NET_DIVERT is not set
235 # CONFIG_ECONET is not set
236 # CONFIG_WAN_ROUTER is not set
237 # CONFIG_NET_FASTROUTE is not set
238 # CONFIG_NET_HW_FLOWCONTROL is not set
241 # QoS and/or fair queueing
243 # CONFIG_NET_SCHED is not set
244 # CONFIG_IPSEC is not set
245 # CONFIG_KLIPS is not set
250 # CONFIG_NET_PKTGEN is not set
251 # CONFIG_IPSEC_NAT_TRAVERSAL is not set
254 # Network device support
256 # CONFIG_NETDEVICES is not set
259 # Amateur Radio support
261 # CONFIG_HAMRADIO is not set
264 # IrDA (infrared) support
266 # CONFIG_IRDA is not set
271 # CONFIG_ISDN is not set
276 # CONFIG_INPUT is not set
277 # CONFIG_INPUT_KEYBDEV is not set
278 # CONFIG_DUMMY_KEYB is not set
279 # CONFIG_INPUT_MOUSEDEV is not set
280 # CONFIG_INPUT_JOYDEV is not set
281 # CONFIG_INPUT_EVDEV is not set
282 # CONFIG_INPUT_UINPUT is not set
287 # CONFIG_LEDMAN is not set
288 # CONFIG_SNAPDOG is not set
289 # CONFIG_FAST_TIMER is not set
290 # CONFIG_DS1302 is not set
291 # CONFIG_M41T11M6 is not set
292 # CONFIG_VT is not set
293 # CONFIG_SERIAL is not set
294 # CONFIG_SERIAL_EXTENDED is not set
295 # CONFIG_SERIAL_NONSTANDARD is not set
296 # CONFIG_PC_KEYB is not set
301 # CONFIG_SERIAL_8250 is not set
302 # CONFIG_SERIAL_8250_CONSOLE is not set
303 # CONFIG_SERIAL_8250_EXTENDED is not set
304 # CONFIG_SERIAL_8250_MANY_PORTS is not set
305 # CONFIG_SERIAL_8250_SHARE_IRQ is not set
306 # CONFIG_SERIAL_8250_DETECT_IRQ is not set
307 # CONFIG_SERIAL_8250_MULTIPORT is not set
308 # CONFIG_SERIAL_8250_HUB6 is not set
309 # CONFIG_UNIX98_PTYS is not set
310 # CONFIG_PRINTER is not set
311 # CONFIG_PPDEV is not set
312 # CONFIG_TIPAR is not set
317 # CONFIG_SPI is not set
322 # CONFIG_I2C is not set
327 # CONFIG_BUSMOUSE is not set
328 # CONFIG_MOUSE is not set
329 # CONFIG_EDB7312_TS is not set
334 # CONFIG_INPUT_GAMEPORT is not set
337 # Input core support is needed for gameports
341 # Input core support is needed for joysticks
343 # CONFIG_QIC02_TAPE is not set
344 # CONFIG_IPMI_HANDLER is not set
345 # CONFIG_IPMI_PANIC_EVENT is not set
346 # CONFIG_IPMI_DEVICE_INTERFACE is not set
347 # CONFIG_IPMI_KCS is not set
348 # CONFIG_IPMI_WATCHDOG is not set
351 # Controller Area Network Cards/Chips
353 # CONFIG_CAN4LINUX is not set
358 # CONFIG_WATCHDOG is not set
359 # CONFIG_SCx200 is not set
360 # CONFIG_SCx200_GPIO is not set
361 # CONFIG_AMD_PM768 is not set
362 # CONFIG_NVRAM is not set
363 # CONFIG_RTC is not set
364 # CONFIG_DTLK is not set
365 # CONFIG_R3964 is not set
366 # CONFIG_APPLICOM is not set
369 # Ftape, the floppy tape device driver
371 # CONFIG_FTAPE is not set
372 # CONFIG_AGP is not set
375 # Direct Rendering Manager (XFree86 DRI support)
377 # CONFIG_DRM is not set
382 # CONFIG_MICROBLAZE_FSLFIFO is not set
383 # CONFIG_XILINX_HWICAP is not set
388 # CONFIG_QUOTA is not set
389 # CONFIG_QFMT_V2 is not set
390 # CONFIG_AUTOFS_FS is not set
391 # CONFIG_AUTOFS4_FS is not set
392 # CONFIG_REISERFS_FS is not set
393 # CONFIG_REISERFS_CHECK is not set
394 # CONFIG_REISERFS_PROC_INFO is not set
395 # CONFIG_ADFS_FS is not set
396 # CONFIG_ADFS_FS_RW is not set
397 # CONFIG_AFFS_FS is not set
398 # CONFIG_HFS_FS is not set
399 # CONFIG_HFSPLUS_FS is not set
400 # CONFIG_BEFS_FS is not set
401 # CONFIG_BEFS_DEBUG is not set
402 # CONFIG_BFS_FS is not set
403 # CONFIG_EXT3_FS is not set
404 # CONFIG_JBD is not set
405 # CONFIG_JBD_DEBUG is not set
406 # CONFIG_FAT_FS is not set
407 # CONFIG_MSDOS_FS is not set
408 # CONFIG_UMSDOS_FS is not set
409 # CONFIG_VFAT_FS is not set
410 # CONFIG_EFS_FS is not set
411 # CONFIG_JFFS_FS is not set
412 # CONFIG_JFFS2_FS is not set
413 # CONFIG_YAFFS_FS is not set
414 # CONFIG_CRAMFS is not set
415 # CONFIG_SQUASHFS is not set
416 # CONFIG_TMPFS is not set
418 # CONFIG_ISO9660_FS is not set
419 # CONFIG_JOLIET is not set
420 # CONFIG_ZISOFS is not set
421 # CONFIG_JFS_FS is not set
422 # CONFIG_JFS_DEBUG is not set
423 # CONFIG_JFS_STATISTICS is not set
424 # CONFIG_MINIX_FS is not set
425 # CONFIG_VXFS_FS is not set
426 # CONFIG_NTFS_FS is not set
427 # CONFIG_NTFS_RW is not set
428 # CONFIG_HPFS_FS is not set
430 CONFIG_PROC_NDYNAMIC=4096
431 # CONFIG_DEVFS_FS is not set
432 # CONFIG_DEVFS_MOUNT is not set
433 # CONFIG_DEVFS_DEBUG is not set
434 # CONFIG_DEVPTS_FS is not set
435 # CONFIG_QNX4FS_FS is not set
436 # CONFIG_QNX4FS_RW is not set
439 # CONFIG_SYSV_FS is not set
440 # CONFIG_UDF_FS is not set
441 # CONFIG_UDF_RW is not set
442 # CONFIG_UFS_FS is not set
443 # CONFIG_UFS_FS_WRITE is not set
444 # CONFIG_XFS_FS is not set
445 # CONFIG_XFS_QUOTA is not set
446 # CONFIG_XFS_RT is not set
447 # CONFIG_XFS_TRACE is not set
448 # CONFIG_XFS_DEBUG is not set
451 # Network File Systems
453 # CONFIG_CODA_FS is not set
454 # CONFIG_INTERMEZZO_FS is not set
455 # CONFIG_NFS_FS is not set
456 # CONFIG_NFS_V3 is not set
457 # CONFIG_NFS_DIRECTIO is not set
458 # CONFIG_ROOT_NFS is not set
459 # CONFIG_NFSD is not set
460 # CONFIG_NFSD_V3 is not set
461 # CONFIG_NFSD_TCP is not set
462 # CONFIG_SUNRPC is not set
463 # CONFIG_LOCKD is not set
464 # CONFIG_SMB_FS is not set
465 # CONFIG_NCP_FS is not set
466 # CONFIG_NCPFS_PACKET_SIGNING is not set
467 # CONFIG_NCPFS_IOCTL_LOCKING is not set
468 # CONFIG_NCPFS_STRONG is not set
469 # CONFIG_NCPFS_NFS_NS is not set
470 # CONFIG_NCPFS_OS2_NS is not set
471 # CONFIG_NCPFS_SMALLDOS is not set
472 # CONFIG_NCPFS_NLS is not set
473 # CONFIG_NCPFS_EXTRAS is not set
474 # CONFIG_ZISOFS_FS is not set
475 # CONFIG_COREDUMP_PRINTK is not set
480 # CONFIG_PARTITION_ADVANCED is not set
481 # CONFIG_SMB_NLS is not set
482 # CONFIG_NLS is not set
487 # CONFIG_VIDEO_DEV is not set
492 # CONFIG_SOUND is not set
497 # CONFIG_USB is not set
500 # Support for USB gadgets
502 # CONFIG_USB_GADGET is not set
508 # CONFIG_MAGIC_SYSRQ is not set
509 # CONFIG_PROFILE is not set
510 # CONFIG_NO_KERNEL_MSG is not set
513 # Cryptographic options
515 # CONFIG_CRYPTO is not set
520 # CONFIG_CRC32 is not set
521 CONFIG_ZLIB_INFLATE=y
522 CONFIG_ZLIB_DEFLATE=y