vendors/Insight/XC2V1K_Microblaze/config.linux-2.4.x

   1 #
   2 # Automatically generated make config: don't edit
   3 #
   4 CONFIG_UCLINUX=y
   5 CONFIG_UID16=y
   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
  12
  13 #
  14 # Code maturity level options
  15 #
  16 CONFIG_EXPERIMENTAL=y
  17
  18 #
  19 # Loadable module support
  20 #
  21 # CONFIG_MODULES is not set
  22 CONFIG_MICROBLAZE=y
  23
  24 #
  25 # Processor type and features
  26 #
  27
  28 #
  29 # Platform
  30 #
  31 # CONFIG_UCLINUX_AUTO is not set
  32 # CONFIG_ML401 is not set
  33 CONFIG_MBVANILLA=y
  34 # CONFIG_EGRET01 is not set
  35 # CONFIG_SUZAKU is not set
  36 CONFIG_MODEL_RAM=y
  37 # CONFIG_MODEL_ROM is not set
  38 CONFIG_CPU_CLOCK_FREQ=66000000
  39 # CONFIG_MICROBLAZE_MSRSETCLR is not set
  40 CONFIG_MICROBLAZE_HARD_MULT=y
  41 CONFIG_MICROBLAZE_HARD_DIV=y
  42 CONFIG_MICROBLAZE_HARD_BARREL=y
  43 # CONFIG_MICROBLAZE_ICACHE is not set
  44 # CONFIG_MICROBLAZE_DCACHE is not set
  45 CONFIG_MICROBLAZE_DEBUG_UART=y
  46 # CONFIG_UARTLITE_SERIAL_CONSOLE is not set
  47 CONFIG_XILINX_GPIO=y
  48 # CONFIG_XILINX_ENET is not set
  49 # CONFIG_XILINX_SYSACE is not set
  50 # CONFIG_MBVANILLA_CMDLINE is not set
  51 CONFIG_ZERO_BSS=y
  52
  53 #
  54 # Debug Logging
  55 #
  56 CONFIG_MICROBLAZE_DEBUGGING=y
  57
  58 #
  59 # General setup
  60 #
  61 # CONFIG_PCI is not set
  62 # CONFIG_NET is not set
  63 # CONFIG_DISK is not set
  64 # CONFIG_HOTPLUG is not set
  65 # CONFIG_PCMCIA is not set
  66 # CONFIG_SYSVIPC is not set
  67 # CONFIG_BSD_PROCESS_ACCT is not set
  68 # CONFIG_SYSCTL is not set
  69 CONFIG_KCORE_ELF=y
  70 # CONFIG_KCORE_AOUT is not set
  71 CONFIG_BINFMT_FLAT=y
  72 CONFIG_BINFMT_ZFLAT=y
  73 # CONFIG_CONTIGUOUS_PAGE_ALLOC is not set
  74 # CONFIG_MEM_MAP is not set
  75 # CONFIG_NO_MMU_LARGE_ALLOCS is not set
  76
  77 #
  78 # Memory Technology Devices (MTD)
  79 #
  80 CONFIG_MTD=y
  81 # CONFIG_MTD_DEBUG is not set
  82 CONFIG_MTD_PARTITIONS=y
  83 # CONFIG_MTD_CONCAT is not set
  84 # CONFIG_MTD_REDBOOT_PARTS is not set
  85 # CONFIG_MTD_UCBOOTSTRAP_PARTS is not set
  86 # CONFIG_MTD_CMDLINE_PARTS is not set
  87
  88 #
  89 # User Modules And Translation Layers
  90 #
  91 CONFIG_MTD_CHAR=y
  92 CONFIG_MTD_BLOCK=y
  93 # CONFIG_FTL is not set
  94 # CONFIG_NFTL is not set
  95 # CONFIG_INFTL is not set
  96
  97 #
  98 # RAM/ROM/Flash chip drivers
  99 #
 100 CONFIG_MTD_CFI=y
 101 CONFIG_MTD_JEDECPROBE=y
 102 CONFIG_MTD_GEN_PROBE=y
 103 # CONFIG_MTD_CFI_ADV_OPTIONS is not set
 104 # CONFIG_MTD_CFI_INTELEXT is not set
 105 CONFIG_MTD_CFI_AMDSTD=y
 106 # CONFIG_MTD_CFI_STAA is not set
 107 CONFIG_MTD_RAM=y
 108 # CONFIG_MTD_ROM is not set
 109 # CONFIG_MTD_ABSENT is not set
 110 # CONFIG_MTD_OBSOLETE_CHIPS is not set
 111 # CONFIG_MTD_AMDSTD is not set
 112 # CONFIG_MTD_SHARP is not set
 113 # CONFIG_MTD_JEDEC is not set
 114 # CONFIG_MTD_PSD4256G is not set
 115
 116 #
 117 # Mapping drivers for chip access
 118 #
 119 # CONFIG_MTD_PHYSMAP is not set
 120 # CONFIG_MTD_UCBOOTSTRAP is not set
 121 # CONFIG_MTD_DRAGONIX is not set
 122 # CONFIG_MTD_NETtel is not set
 123 # CONFIG_MTD_SNAPGEODE is not set
 124 # CONFIG_MTD_NETteluC is not set
 125 CONFIG_MTD_MBVANILLA=y
 126 # CONFIG_FLASHAUTO is not set
 127 # CONFIG_FLASHNONE is not set
 128 # CONFIG_FLASH128KB is not set
 129 # CONFIG_FLASH1MB is not set
 130 # CONFIG_FLASH2MB is not set
 131 # CONFIG_FLASH4MB is not set
 132 # CONFIG_FLASH6MB is not set
 133 CONFIG_FLASH8MB=y
 134 # CONFIG_MTD_MB_AUTO is not set
 135 # CONFIG_MTD_ML401 is not set
 136 # CONFIG_MTD_SUZAKU is not set
 137 # CONFIG_MTD_KeyTechnology is not set
 138 # CONFIG_MTD_SED_SIOSIII is not set
 139 # CONFIG_MTD_UCLINUX is not set
 140 # CONFIG_MTD_PCI is not set
 141 # CONFIG_MTD_PCMCIA is not set
 142
 143 #
 144 # Self-contained MTD device drivers
 145 #
 146 # CONFIG_MTD_PMC551 is not set
 147 # CONFIG_MTD_SLRAM is not set
 148 # CONFIG_MTD_MTDRAM is not set
 149 # CONFIG_MTD_MTDCNXT is not set
 150 # CONFIG_MTD_BLKMTD is not set
 151
 152 #
 153 # Disk-On-Chip Device Drivers
 154 #
 155 # CONFIG_MTD_DOC1000 is not set
 156 # CONFIG_MTD_DOC2000 is not set
 157 # CONFIG_MTD_DOC2001 is not set
 158 # CONFIG_MTD_DOC2001PLUS is not set
 159 # CONFIG_MTD_DOCPROBE is not set
 160
 161 #
 162 # NAND Flash Device Drivers
 163 #
 164 # CONFIG_MTD_NAND is not set
 165
 166 #
 167 # Block devices
 168 #
 169 # CONFIG_BLK_DEV_FD is not set
 170 # CONFIG_BLK_DEV_XD is not set
 171 # CONFIG_PARIDE is not set
 172 # CONFIG_BLK_CPQ_DA is not set
 173 # CONFIG_BLK_CPQ_CISS_DA is not set
 174 # CONFIG_CISS_SCSI_TAPE is not set
 175 # CONFIG_CISS_MONITOR_THREAD is not set
 176 # CONFIG_BLK_DEV_DAC960 is not set
 177 # CONFIG_BLK_DEV_UMEM is not set
 178 # CONFIG_BLK_DEV_SX8 is not set
 179 # CONFIG_BLK_DEV_LOOP is not set
 180 # CONFIG_BLK_DEV_NBD is not set
 181 CONFIG_BLK_DEV_RAM=y
 182 CONFIG_BLK_DEV_RAM_SIZE=4096
 183 # CONFIG_BLK_DEV_INITRD is not set
 184 # CONFIG_BLK_DEV_RAMDISK_DATA is not set
 185 # CONFIG_BLK_DEV_BLKMEM is not set
 186 # CONFIG_BLK_STATS is not set
 187
 188 #
 189 # Input core support
 190 #
 191 # CONFIG_INPUT is not set
 192 # CONFIG_INPUT_KEYBDEV is not set
 193 # CONFIG_DUMMY_KEYB is not set
 194 # CONFIG_INPUT_MOUSEDEV is not set
 195 # CONFIG_INPUT_JOYDEV is not set
 196 # CONFIG_INPUT_EVDEV is not set
 197 # CONFIG_INPUT_UINPUT is not set
 198
 199 #
 200 # Character devices
 201 #
 202 # CONFIG_LEDMAN is not set
 203 # CONFIG_SNAPDOG is not set
 204 # CONFIG_FAST_TIMER is not set
 205 # CONFIG_DS1302 is not set
 206 # CONFIG_M41T11M6 is not set
 207 # CONFIG_VT is not set
 208 # CONFIG_SERIAL is not set
 209 # CONFIG_SERIAL_EXTENDED is not set
 210 # CONFIG_SERIAL_NONSTANDARD is not set
 211 # CONFIG_PC_KEYB is not set
 212
 213 #
 214 # Serial drivers
 215 #
 216 # CONFIG_SERIAL_8250 is not set
 217 # CONFIG_SERIAL_8250_CONSOLE is not set
 218 # CONFIG_SERIAL_8250_EXTENDED is not set
 219 # CONFIG_SERIAL_8250_MANY_PORTS is not set
 220 # CONFIG_SERIAL_8250_SHARE_IRQ is not set
 221 # CONFIG_SERIAL_8250_DETECT_IRQ is not set
 222 # CONFIG_SERIAL_8250_MULTIPORT is not set
 223 # CONFIG_SERIAL_8250_HUB6 is not set
 224 # CONFIG_UNIX98_PTYS is not set
 225 # CONFIG_PRINTER is not set
 226 # CONFIG_PPDEV is not set
 227 # CONFIG_TIPAR is not set
 228
 229 #
 230 # SPI support
 231 #
 232 # CONFIG_SPI is not set
 233
 234 #
 235 # I2C support
 236 #
 237 # CONFIG_I2C is not set
 238
 239 #
 240 # Mice
 241 #
 242 # CONFIG_BUSMOUSE is not set
 243 # CONFIG_MOUSE is not set
 244 # CONFIG_EDB7312_TS is not set
 245
 246 #
 247 # Joysticks
 248 #
 249 # CONFIG_INPUT_GAMEPORT is not set
 250
 251 #
 252 # Input core support is needed for gameports
 253 #
 254
 255 #
 256 # Input core support is needed for joysticks
 257 #
 258 # CONFIG_QIC02_TAPE is not set
 259 # CONFIG_IPMI_HANDLER is not set
 260 # CONFIG_IPMI_PANIC_EVENT is not set
 261 # CONFIG_IPMI_DEVICE_INTERFACE is not set
 262 # CONFIG_IPMI_KCS is not set
 263 # CONFIG_IPMI_WATCHDOG is not set
 264
 265 #
 266 # Controller Area Network Cards/Chips
 267 #
 268 # CONFIG_CAN4LINUX is not set
 269
 270 #
 271 # Watchdog Cards
 272 #
 273 # CONFIG_WATCHDOG is not set
 274 # CONFIG_SCx200 is not set
 275 # CONFIG_SCx200_GPIO is not set
 276 # CONFIG_AMD_PM768 is not set
 277 # CONFIG_NVRAM is not set
 278 # CONFIG_RTC is not set
 279 # CONFIG_DTLK is not set
 280 # CONFIG_R3964 is not set
 281 # CONFIG_APPLICOM is not set
 282
 283 #
 284 # Ftape, the floppy tape device driver
 285 #
 286 # CONFIG_FTAPE is not set
 287 # CONFIG_AGP is not set
 288
 289 #
 290 # Direct Rendering Manager (XFree86 DRI support)
 291 #
 292 # CONFIG_DRM is not set
 293
 294 #
 295 # Misc devices
 296 #
 297 # CONFIG_MICROBLAZE_FSLFIFO is not set
 298 # CONFIG_XILINX_HWICAP is not set
 299
 300 #
 301 # File systems
 302 #
 303 # CONFIG_QUOTA is not set
 304 # CONFIG_QFMT_V2 is not set
 305 # CONFIG_AUTOFS_FS is not set
 306 # CONFIG_AUTOFS4_FS is not set
 307 # CONFIG_REISERFS_FS is not set
 308 # CONFIG_REISERFS_CHECK is not set
 309 # CONFIG_REISERFS_PROC_INFO is not set
 310 # CONFIG_ADFS_FS is not set
 311 # CONFIG_ADFS_FS_RW is not set
 312 # CONFIG_AFFS_FS is not set
 313 # CONFIG_HFS_FS is not set
 314 # CONFIG_HFSPLUS_FS is not set
 315 # CONFIG_BEFS_FS is not set
 316 # CONFIG_BEFS_DEBUG is not set
 317 # CONFIG_BFS_FS is not set
 318 # CONFIG_EXT3_FS is not set
 319 # CONFIG_JBD is not set
 320 # CONFIG_JBD_DEBUG is not set
 321 # CONFIG_FAT_FS is not set
 322 # CONFIG_MSDOS_FS is not set
 323 # CONFIG_UMSDOS_FS is not set
 324 # CONFIG_VFAT_FS is not set
 325 # CONFIG_EFS_FS is not set
 326 # CONFIG_JFFS_FS is not set
 327 # CONFIG_JFFS2_FS is not set
 328 # CONFIG_YAFFS_FS is not set
 329 # CONFIG_CRAMFS is not set
 330 # CONFIG_SQUASHFS is not set
 331 # CONFIG_TMPFS is not set
 332 CONFIG_RAMFS=y
 333 # CONFIG_ISO9660_FS is not set
 334 # CONFIG_JOLIET is not set
 335 # CONFIG_ZISOFS is not set
 336 # CONFIG_JFS_FS is not set
 337 # CONFIG_JFS_DEBUG is not set
 338 # CONFIG_JFS_STATISTICS is not set
 339 # CONFIG_MINIX_FS is not set
 340 # CONFIG_VXFS_FS is not set
 341 # CONFIG_NTFS_FS is not set
 342 # CONFIG_NTFS_RW is not set
 343 # CONFIG_HPFS_FS is not set
 344 CONFIG_PROC_FS=y
 345 CONFIG_PROC_NDYNAMIC=4096
 346 # CONFIG_DEVFS_FS is not set
 347 # CONFIG_DEVFS_MOUNT is not set
 348 # CONFIG_DEVFS_DEBUG is not set
 349 # CONFIG_DEVPTS_FS is not set
 350 # CONFIG_QNX4FS_FS is not set
 351 # CONFIG_QNX4FS_RW is not set
 352 CONFIG_ROMFS_FS=y
 353 CONFIG_EXT2_FS=y
 354 # CONFIG_SYSV_FS is not set
 355 # CONFIG_UDF_FS is not set
 356 # CONFIG_UDF_RW is not set
 357 # CONFIG_UFS_FS is not set
 358 # CONFIG_UFS_FS_WRITE is not set
 359 # CONFIG_XFS_FS is not set
 360 # CONFIG_XFS_QUOTA is not set
 361 # CONFIG_XFS_RT is not set
 362 # CONFIG_XFS_TRACE is not set
 363 # CONFIG_XFS_DEBUG is not set
 364 # CONFIG_NCPFS_NLS is not set
 365 # CONFIG_SMB_FS is not set
 366 # CONFIG_ZISOFS_FS is not set
 367 # CONFIG_COREDUMP_PRINTK is not set
 368
 369 #
 370 # Partition Types
 371 #
 372 # CONFIG_PARTITION_ADVANCED is not set
 373 # CONFIG_SMB_NLS is not set
 374 # CONFIG_NLS is not set
 375
 376 #
 377 # Multimedia devices
 378 #
 379 # CONFIG_VIDEO_DEV is not set
 380
 381 #
 382 # Sound
 383 #
 384 # CONFIG_SOUND is not set
 385
 386 #
 387 # USB support
 388 #
 389 # CONFIG_USB is not set
 390
 391 #
 392 # Support for USB gadgets
 393 #
 394 # CONFIG_USB_GADGET is not set
 395
 396 #
 397 # Kernel hacking
 398 #
 399 CONFIG_FULLDEBUG=y
 400 # CONFIG_MAGIC_SYSRQ is not set
 401 # CONFIG_PROFILE is not set
 402 # CONFIG_NO_KERNEL_MSG is not set
 403
 404 #
 405 # Cryptographic options
 406 #
 407 # CONFIG_CRYPTO is not set
 408
 409 #
 410 # Library routines
 411 #
 412 # CONFIG_CRC32 is not set
 413 CONFIG_ZLIB_INFLATE=y
 414 CONFIG_ZLIB_DEFLATE=y