vendors/Freescale/M5235EVB/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
   9 #
  10 # Code maturity level options
  11 #
  12 CONFIG_EXPERIMENTAL=y
  13
  14 #
  15 # Loadable module support
  16 #
  17 # CONFIG_MODULES is not set
  18
  19 #
  20 # Processor type and features
  21 #
  22 # CONFIG_M68000 is not set
  23 # CONFIG_M68EN302 is not set
  24 # CONFIG_M68328 is not set
  25 # CONFIG_M68EZ328 is not set
  26 # CONFIG_M68VZ328 is not set
  27 # CONFIG_M68332 is not set
  28 # CONFIG_M68360 is not set
  29 # CONFIG_M5204 is not set
  30 # CONFIG_M5206 is not set
  31 # CONFIG_M5206e is not set
  32 # CONFIG_M5208 is not set
  33 CONFIG_M5235=y
  34 # CONFIG_M5249 is not set
  35 # CONFIG_M5271 is not set
  36 # CONFIG_M5272 is not set
  37 # CONFIG_M5275 is not set
  38 # CONFIG_M5280 is not set
  39 # CONFIG_M5282 is not set
  40 # CONFIG_M5307 is not set
  41 # CONFIG_M5407 is not set
  42 # CONFIG_M547x is not set
  43 CONFIG_COLDFIRE=y
  44 # CONFIG_CLOCK_AUTO is not set
  45 # CONFIG_CLOCK_11MHz is not set
  46 # CONFIG_CLOCK_16MHz is not set
  47 # CONFIG_CLOCK_20MHz is not set
  48 # CONFIG_CLOCK_24MHz is not set
  49 # CONFIG_CLOCK_25MHz is not set
  50 # CONFIG_CLOCK_29_5MHz is not set
  51 # CONFIG_CLOCK_33MHz is not set
  52 # CONFIG_CLOCK_40MHz is not set
  53 # CONFIG_CLOCK_45MHz is not set
  54 # CONFIG_CLOCK_48MHz is not set
  55 # CONFIG_CLOCK_50MHz is not set
  56 # CONFIG_CLOCK_54MHz is not set
  57 # CONFIG_CLOCK_59MHz is not set
  58 # CONFIG_CLOCK_60MHz is not set
  59 # CONFIG_CLOCK_62_5MHz is not set
  60 # CONFIG_CLOCK_64MHz is not set
  61 # CONFIG_CLOCK_66MHz is not set
  62 # CONFIG_CLOCK_70MHz is not set
  63 # CONFIG_CLOCK_80MHz is not set
  64 CONFIG_CLOCK_100MHz=y
  65 # CONFIG_CLOCK_140MHz is not set
  66 # CONFIG_CLOCK_150MHz is not set
  67 # CONFIG_CLOCK_166MHz is not set
  68
  69 #
  70 # Platform
  71 #
  72 CONFIG_M5235EVB=y
  73 CONFIG_MOTOROLA=y
  74 # CONFIG_RAMAUTO is not set
  75 # CONFIG_RAM4MB is not set
  76 # CONFIG_RAM8MB is not set
  77 CONFIG_RAM16MB=y
  78 # CONFIG_RAM32MB is not set
  79 # CONFIG_RAM64MB is not set
  80 CONFIG_AUTOBIT=y
  81 # CONFIG_RAM8BIT is not set
  82 # CONFIG_RAM16BIT is not set
  83 # CONFIG_RAM32bit is not set
  84 CONFIG_RAMKERNEL=y
  85 # CONFIG_ROMKERNEL is not set
  86 # CONFIG_HIMEMKERNEL is not set
  87
  88 #
  89 # General setup
  90 #
  91 CONFIG_NET=y
  92 # CONFIG_PCI is not set
  93 # CONFIG_HOTPLUG is not set
  94 # CONFIG_PCMCIA is not set
  95 # CONFIG_SYSVIPC is not set
  96 # CONFIG_BSD_PROCESS_ACCT is not set
  97 # CONFIG_SYSCTL is not set
  98 # CONFIG_KCORE_ELF is not set
  99 CONFIG_KCORE_AOUT=y
 100 CONFIG_BINFMT_FLAT=y
 101 # CONFIG_BINFMT_ZFLAT is not set
 102 # CONFIG_BINFMT_SHARED_FLAT is not set
 103 # CONFIG_BINFMT_AOUT is not set
 104 # CONFIG_BINFMT_ELF is not set
 105 # CONFIG_BINFMT_MISC is not set
 106 # CONFIG_PM is not set
 107 # CONFIG_ACPI is not set
 108 # CONFIG_APM is not set
 109
 110 #
 111 # Memory Technology Devices (MTD)
 112 #
 113 # CONFIG_MTD is not set
 114
 115 #
 116 # Parallel port support
 117 #
 118 # CONFIG_PARPORT is not set
 119
 120 #
 121 # Plug and Play configuration
 122 #
 123 # CONFIG_PNP is not set
 124 # CONFIG_ISAPNP is not set
 125
 126 #
 127 # Block devices
 128 #
 129 # CONFIG_BLK_DEV_FD is not set
 130 # CONFIG_BLK_DEV_XD is not set
 131 # CONFIG_PARIDE is not set
 132 # CONFIG_BLK_CPQ_DA is not set
 133 # CONFIG_BLK_CPQ_CISS_DA is not set
 134 # CONFIG_CISS_SCSI_TAPE is not set
 135 # CONFIG_CISS_MONITOR_THREAD is not set
 136 # CONFIG_BLK_DEV_DAC960 is not set
 137 # CONFIG_BLK_DEV_UMEM is not set
 138 # CONFIG_BLK_DEV_SX8 is not set
 139 # CONFIG_BLK_DEV_LOOP is not set
 140 # CONFIG_BLK_DEV_NBD is not set
 141 CONFIG_BLK_DEV_RAM=y
 142 CONFIG_BLK_DEV_RAM_SIZE=4096
 143 # CONFIG_BLK_DEV_INITRD is not set
 144 # CONFIG_BLK_DEV_RAMDISK_DATA is not set
 145 CONFIG_BLK_DEV_BLKMEM=y
 146 CONFIG_NOFLASH=y
 147 # CONFIG_AMDFLASH is not set
 148 # CONFIG_INTELFLASH is not set
 149 # CONFIG_BLK_STATS is not set
 150
 151 #
 152 # Networking options
 153 #
 154 CONFIG_PACKET=y
 155 # CONFIG_PACKET_MMAP is not set
 156 # CONFIG_NETLINK_DEV is not set
 157 # CONFIG_NETFILTER is not set
 158 # CONFIG_FILTER is not set
 159 # CONFIG_NET_NEIGH_DEBUG is not set
 160 # CONFIG_NET_RESTRICTED_REUSE is not set
 161 CONFIG_UNIX=y
 162 CONFIG_INET=y
 163 # CONFIG_IP_MULTICAST is not set
 164 # CONFIG_IP_ADVANCED_ROUTER is not set
 165 # CONFIG_IP_PNP is not set
 166 # CONFIG_NET_ARP_LIMIT is not set
 167 # CONFIG_NET_IPIP is not set
 168 # CONFIG_NET_IPGRE is not set
 169 # CONFIG_ARPD is not set
 170 # CONFIG_INET_ECN is not set
 171 # CONFIG_SYN_COOKIES is not set
 172 # CONFIG_IPV6 is not set
 173 # CONFIG_KHTTPD is not set
 174
 175 #
 176 #    SCTP Configuration (EXPERIMENTAL)
 177 #
 178 # CONFIG_IP_SCTP is not set
 179 # CONFIG_ATM is not set
 180 # CONFIG_VLAN_8021Q is not set
 181
 182 #
 183 #
 184 #
 185 # CONFIG_IPX is not set
 186 # CONFIG_ATALK is not set
 187 # CONFIG_DECNET is not set
 188 # CONFIG_BRIDGE is not set
 189 # CONFIG_X25 is not set
 190 # CONFIG_LAPB is not set
 191 # CONFIG_LLC is not set
 192 # CONFIG_NET_DIVERT is not set
 193 # CONFIG_ECONET is not set
 194 # CONFIG_WAN_ROUTER is not set
 195 # CONFIG_NET_FASTROUTE is not set
 196 # CONFIG_NET_HW_FLOWCONTROL is not set
 197
 198 #
 199 # QoS and/or fair queueing
 200 #
 201 # CONFIG_NET_SCHED is not set
 202 # CONFIG_IPSEC is not set
 203 # CONFIG_KLIPS is not set
 204
 205 #
 206 # Network testing
 207 #
 208 # CONFIG_NET_PKTGEN is not set
 209 # CONFIG_IPSEC_NAT_TRAVERSAL is not set
 210
 211 #
 212 # Telephony Support
 213 #
 214 # CONFIG_PHONE is not set
 215 # CONFIG_PHONE_IXJ is not set
 216 # CONFIG_PHONE_IXJ_PCMCIA is not set
 217
 218 #
 219 # ATA/IDE/MFM/RLL support
 220 #
 221 # CONFIG_IDE is not set
 222 # CONFIG_BLK_DEV_HD is not set
 223
 224 #
 225 # SCSI support
 226 #
 227 # CONFIG_SCSI is not set
 228
 229 #
 230 # IEEE 1394 (FireWire) support (EXPERIMENTAL)
 231 #
 232 # CONFIG_IEEE1394 is not set
 233
 234 #
 235 # I2O device support
 236 #
 237 # CONFIG_I2O is not set
 238 # CONFIG_I2O_BLOCK is not set
 239 # CONFIG_I2O_LAN is not set
 240 # CONFIG_I2O_SCSI is not set
 241 # CONFIG_I2O_PROC is not set
 242
 243 #
 244 # Network device support
 245 #
 246 CONFIG_NETDEVICES=y
 247
 248 #
 249 # ARCnet devices
 250 #
 251 # CONFIG_ARCNET is not set
 252 # CONFIG_DUMMY is not set
 253 # CONFIG_BONDING is not set
 254 # CONFIG_EQUALIZER is not set
 255
 256 #
 257 # IMQ needs CONFIG_NETFILTER enabled
 258 #
 259 # CONFIG_TUN is not set
 260 # CONFIG_ETHERTAP is not set
 261
 262 #
 263 # Ethernet (10 or 100Mbit)
 264 #
 265 CONFIG_NET_ETHERNET=y
 266 # CONFIG_SUNLANCE is not set
 267 # CONFIG_SUNBMAC is not set
 268 # CONFIG_SUNQE is not set
 269 # CONFIG_SUNGEM is not set
 270 # CONFIG_NET_VENDOR_3COM is not set
 271 # CONFIG_LANCE is not set
 272 # CONFIG_NET_VENDOR_SMC is not set
 273 # CONFIG_NET_VENDOR_RACAL is not set
 274 # CONFIG_NET_ISA is not set
 275 # CONFIG_NET_PCI is not set
 276 # CONFIG_NET_POCKET is not set
 277 # CONFIG_CNXT_EMAC is not set
 278 CONFIG_FEC=y
 279 # CONFIG_FEC2 is not set
 280 # CONFIG_FEC_IOCTL is not set
 281 # CONFIG_UC5272_PHY_INT is not set
 282 # CONFIG_FEC_KS8995M is not set
 283 # CONFIG_CS89x0 is not set
 284 # CONFIG_UCCS8900 is not set
 285 # CONFIG_AX88796 is not set
 286 # CONFIG_DM9000 is not set
 287
 288 #
 289 # Ethernet (1000 Mbit)
 290 #
 291 # CONFIG_ACENIC is not set
 292 # CONFIG_DL2K is not set
 293 # CONFIG_E1000 is not set
 294 # CONFIG_MYRI_SBUS is not set
 295 # CONFIG_NS83820 is not set
 296 # CONFIG_HAMACHI is not set
 297 # CONFIG_YELLOWFIN is not set
 298 # CONFIG_R8169 is not set
 299 # CONFIG_SK98LIN is not set
 300 # CONFIG_TIGON3 is not set
 301 # CONFIG_FDDI is not set
 302 # CONFIG_HIPPI is not set
 303 # CONFIG_PLIP is not set
 304 CONFIG_PPP=y
 305 # CONFIG_PPP_MULTILINK is not set
 306 # CONFIG_PPP_FILTER is not set
 307 CONFIG_PPP_ASYNC=y
 308 # CONFIG_PPP_SYNC_TTY is not set
 309 # CONFIG_PPP_DEFLATE is not set
 310 # CONFIG_PPP_BSDCOMP is not set
 311 # CONFIG_PPP_MPPE is not set
 312 # CONFIG_PPPOE is not set
 313 CONFIG_SLIP=y
 314 CONFIG_SLIP_COMPRESSED=y
 315 # CONFIG_SLIP_SMART is not set
 316 # CONFIG_SLIP_MODE_SLIP6 is not set
 317
 318 #
 319 # Wireless LAN (non-hamradio)
 320 #
 321 # CONFIG_NET_RADIO is not set
 322
 323 #
 324 # Token Ring devices
 325 #
 326 # CONFIG_TR is not set
 327 # CONFIG_NET_FC is not set
 328 # CONFIG_RCPCI is not set
 329 # CONFIG_SHAPER is not set
 330
 331 #
 332 # Wan interfaces
 333 #
 334 # CONFIG_WAN is not set
 335
 336 #
 337 # Amateur Radio support
 338 #
 339 # CONFIG_HAMRADIO is not set
 340
 341 #
 342 # IrDA (infrared) support
 343 #
 344 # CONFIG_IRDA is not set
 345
 346 #
 347 # ISDN subsystem
 348 #
 349 # CONFIG_ISDN is not set
 350
 351 #
 352 # Old CD-ROM drivers (not SCSI, not IDE)
 353 #
 354 # CONFIG_CD_NO_IDESCSI is not set
 355
 356 #
 357 # Character devices
 358 #
 359 # CONFIG_COLDFIRE_USB is not set
 360 CONFIG_COLDFIRE_SERIAL=y
 361 # CONFIG_MCF_MBUS is not set
 362 # CONFIG_MCF_QSPI is not set
 363 # CONFIG_LCDTXT is not set
 364 # CONFIG_LCDDMA is not set
 365 # CONFIG_DAC0800 is not set
 366 # CONFIG_M5249AUDIO is not set
 367 # CONFIG_M5272AUDIO is not set
 368 # CONFIG_DACI2S is not set
 369 # CONFIG_T6963 is not set
 370 # CONFIG_EXP is not set
 371 # CONFIG_RESETSWITCH is not set
 372 # CONFIG_MCFWATCHDOG is not set
 373 # CONFIG_LEDMAN is not set
 374 # CONFIG_SNAPDOG is not set
 375 # CONFIG_FAST_TIMER is not set
 376 # CONFIG_DS1302 is not set
 377 # CONFIG_M41T11M6 is not set
 378 # CONFIG_VT is not set
 379 # CONFIG_SERIAL is not set
 380 # CONFIG_SERIAL_EXTENDED is not set
 381 # CONFIG_SERIAL_NONSTANDARD is not set
 382
 383 #
 384 # Serial drivers
 385 #
 386 # CONFIG_SERIAL_8250 is not set
 387 # CONFIG_SERIAL_8250_CONSOLE is not set
 388 # CONFIG_SERIAL_8250_EXTENDED is not set
 389 # CONFIG_SERIAL_8250_MANY_PORTS is not set
 390 # CONFIG_SERIAL_8250_SHARE_IRQ is not set
 391 # CONFIG_SERIAL_8250_DETECT_IRQ is not set
 392 # CONFIG_SERIAL_8250_MULTIPORT is not set
 393 # CONFIG_SERIAL_8250_HUB6 is not set
 394 # CONFIG_UNIX98_PTYS is not set
 395
 396 #
 397 # SPI support
 398 #
 399 # CONFIG_SPI is not set
 400
 401 #
 402 # I2C support
 403 #
 404 # CONFIG_I2C is not set
 405
 406 #
 407 # Mice
 408 #
 409 # CONFIG_BUSMOUSE is not set
 410 # CONFIG_MOUSE is not set
 411 # CONFIG_EDB7312_TS is not set
 412
 413 #
 414 # Joysticks
 415 #
 416 # CONFIG_INPUT_GAMEPORT is not set
 417 # CONFIG_INPUT_NS558 is not set
 418 # CONFIG_INPUT_LIGHTNING is not set
 419 # CONFIG_INPUT_PCIGAME is not set
 420 # CONFIG_INPUT_CS461X is not set
 421 # CONFIG_INPUT_EMU10K1 is not set
 422 # CONFIG_INPUT_SERIO is not set
 423 # CONFIG_INPUT_SERPORT is not set
 424
 425 #
 426 # Joysticks
 427 #
 428 # CONFIG_INPUT_ANALOG is not set
 429 # CONFIG_INPUT_A3D is not set
 430 # CONFIG_INPUT_ADI is not set
 431 # CONFIG_INPUT_COBRA is not set
 432 # CONFIG_INPUT_GF2K is not set
 433 # CONFIG_INPUT_GRIP is not set
 434 # CONFIG_INPUT_INTERACT is not set
 435 # CONFIG_INPUT_TMDC is not set
 436 # CONFIG_INPUT_SIDEWINDER is not set
 437 # CONFIG_INPUT_IFORCE_USB is not set
 438 # CONFIG_INPUT_IFORCE_232 is not set
 439 # CONFIG_INPUT_WARRIOR is not set
 440 # CONFIG_INPUT_MAGELLAN is not set
 441 # CONFIG_INPUT_SPACEORB is not set
 442 # CONFIG_INPUT_SPACEBALL is not set
 443 # CONFIG_INPUT_STINGER is not set
 444 # CONFIG_INPUT_DB9 is not set
 445 # CONFIG_INPUT_GAMECON is not set
 446 # CONFIG_INPUT_TURBOGRAFX is not set
 447 # CONFIG_QIC02_TAPE is not set
 448 # CONFIG_IPMI_HANDLER is not set
 449 # CONFIG_IPMI_PANIC_EVENT is not set
 450 # CONFIG_IPMI_DEVICE_INTERFACE is not set
 451 # CONFIG_IPMI_KCS is not set
 452 # CONFIG_IPMI_WATCHDOG is not set
 453
 454 #
 455 # Controller Area Network Cards/Chips
 456 #
 457 # CONFIG_CAN4LINUX is not set
 458
 459 #
 460 # Watchdog Cards
 461 #
 462 # CONFIG_WATCHDOG is not set
 463 # CONFIG_SCx200 is not set
 464 # CONFIG_SCx200_GPIO is not set
 465 # CONFIG_AMD_PM768 is not set
 466 # CONFIG_NVRAM is not set
 467 # CONFIG_RTC is not set
 468 # CONFIG_DTLK is not set
 469 # CONFIG_R3964 is not set
 470 # CONFIG_APPLICOM is not set
 471
 472 #
 473 # Ftape, the floppy tape device driver
 474 #
 475 # CONFIG_FTAPE is not set
 476 # CONFIG_AGP is not set
 477
 478 #
 479 # Direct Rendering Manager (XFree86 DRI support)
 480 #
 481 # CONFIG_DRM is not set
 482
 483 #
 484 # File systems
 485 #
 486 # CONFIG_QUOTA is not set
 487 # CONFIG_QFMT_V2 is not set
 488 # CONFIG_AUTOFS_FS is not set
 489 # CONFIG_AUTOFS4_FS is not set
 490 # CONFIG_REISERFS_FS is not set
 491 # CONFIG_REISERFS_CHECK is not set
 492 # CONFIG_REISERFS_PROC_INFO is not set
 493 # CONFIG_ADFS_FS is not set
 494 # CONFIG_ADFS_FS_RW is not set
 495 # CONFIG_AFFS_FS is not set
 496 # CONFIG_HFS_FS is not set
 497 # CONFIG_HFSPLUS_FS is not set
 498 # CONFIG_BEFS_FS is not set
 499 # CONFIG_BEFS_DEBUG is not set
 500 # CONFIG_BFS_FS is not set
 501 # CONFIG_EXT3_FS is not set
 502 # CONFIG_JBD is not set
 503 # CONFIG_JBD_DEBUG is not set
 504 # CONFIG_FAT_FS is not set
 505 # CONFIG_MSDOS_FS is not set
 506 # CONFIG_UMSDOS_FS is not set
 507 # CONFIG_VFAT_FS is not set
 508 # CONFIG_EFS_FS is not set
 509 # CONFIG_JFFS_FS is not set
 510 # CONFIG_JFFS2_FS is not set
 511 # CONFIG_YAFFS_FS is not set
 512 # CONFIG_CRAMFS is not set
 513 # CONFIG_SQUASHFS is not set
 514 # CONFIG_TMPFS is not set
 515 CONFIG_RAMFS=y
 516 # CONFIG_ISO9660_FS is not set
 517 # CONFIG_JOLIET is not set
 518 # CONFIG_ZISOFS is not set
 519 # CONFIG_JFS_FS is not set
 520 # CONFIG_JFS_DEBUG is not set
 521 # CONFIG_JFS_STATISTICS is not set
 522 # CONFIG_MINIX_FS is not set
 523 # CONFIG_VXFS_FS is not set
 524 # CONFIG_NTFS_FS is not set
 525 # CONFIG_NTFS_RW is not set
 526 # CONFIG_HPFS_FS is not set
 527 CONFIG_PROC_FS=y
 528 CONFIG_PROC_NDYNAMIC=4096
 529 # CONFIG_DEVFS_FS is not set
 530 # CONFIG_DEVFS_MOUNT is not set
 531 # CONFIG_DEVFS_DEBUG is not set
 532 # CONFIG_DEVPTS_FS is not set
 533 # CONFIG_QNX4FS_FS is not set
 534 # CONFIG_QNX4FS_RW is not set
 535 CONFIG_ROMFS_FS=y
 536 CONFIG_EXT2_FS=y
 537 # CONFIG_SYSV_FS is not set
 538 # CONFIG_UDF_FS is not set
 539 # CONFIG_UDF_RW is not set
 540 # CONFIG_UFS_FS is not set
 541 # CONFIG_UFS_FS_WRITE is not set
 542 # CONFIG_XFS_FS is not set
 543 # CONFIG_XFS_QUOTA is not set
 544 # CONFIG_XFS_RT is not set
 545 # CONFIG_XFS_TRACE is not set
 546 # CONFIG_XFS_DEBUG is not set
 547
 548 #
 549 # Network File Systems
 550 #
 551 # CONFIG_CODA_FS is not set
 552 # CONFIG_INTERMEZZO_FS is not set
 553 CONFIG_NFS_FS=y
 554 # CONFIG_NFS_V3 is not set
 555 # CONFIG_NFS_DIRECTIO is not set
 556 # CONFIG_ROOT_NFS is not set
 557 # CONFIG_NFSD is not set
 558 # CONFIG_NFSD_V3 is not set
 559 # CONFIG_NFSD_TCP is not set
 560 CONFIG_SUNRPC=y
 561 CONFIG_LOCKD=y
 562 # CONFIG_SMB_FS is not set
 563 # CONFIG_NCP_FS is not set
 564 # CONFIG_NCPFS_PACKET_SIGNING is not set
 565 # CONFIG_NCPFS_IOCTL_LOCKING is not set
 566 # CONFIG_NCPFS_STRONG is not set
 567 # CONFIG_NCPFS_NFS_NS is not set
 568 # CONFIG_NCPFS_OS2_NS is not set
 569 # CONFIG_NCPFS_SMALLDOS is not set
 570 # CONFIG_NCPFS_NLS is not set
 571 # CONFIG_NCPFS_EXTRAS is not set
 572 # CONFIG_ZISOFS_FS is not set
 573 # CONFIG_COREDUMP_PRINTK is not set
 574
 575 #
 576 # Partition Types
 577 #
 578 # CONFIG_PARTITION_ADVANCED is not set
 579 # CONFIG_SMB_NLS is not set
 580 # CONFIG_NLS is not set
 581
 582 #
 583 # Sound
 584 #
 585 # CONFIG_SOUND is not set
 586
 587 #
 588 # USB support
 589 #
 590 # CONFIG_USB is not set
 591
 592 #
 593 # Support for USB gadgets
 594 #
 595 # CONFIG_USB_GADGET is not set
 596
 597 #
 598 # Kernel hacking
 599 #
 600 CONFIG_FULLDEBUG=y
 601 # CONFIG_MAGIC_SYSRQ is not set
 602 # CONFIG_CONTIGUOUS_PAGE_ALLOC is not set
 603 # CONFIG_MEM_MAP is not set
 604 # CONFIG_NO_MMU_LARGE_ALLOCS is not set
 605 # CONFIG_PROFILE is not set
 606 # CONFIG_DUMPTOFLASH is not set
 607 CONFIG_NO_KERNEL_MSG=y
 608 # CONFIG_SMALL_TASKS is not set
 609 # CONFIG_BOOTPARAM is not set
 610
 611 #
 612 # Cryptographic options
 613 #
 614 # CONFIG_CRYPTO is not set
 615
 616 #
 617 # Library routines
 618 #
 619 # CONFIG_CRC32 is not set
 620 # CONFIG_ZLIB_INFLATE is not set
 621 # CONFIG_ZLIB_DEFLATE is not set