git.oblomov.eu Git - linux-2.6/blob - arch/arm/configs/omap_generic_2420_defconfig

   1 #
   2 # Automatically generated make config: don't edit
   3 # Linux kernel version: 2.6.23-rc6-omap1
   4 # Tue Sep 18 11:44:48 2007
   5 #
   6 CONFIG_ARM=y
   7 CONFIG_SYS_SUPPORTS_APM_EMULATION=y
   8 CONFIG_GENERIC_GPIO=y
   9 CONFIG_GENERIC_TIME=y
  10 CONFIG_GENERIC_CLOCKEVENTS=y
  11 CONFIG_MMU=y
  12 # CONFIG_NO_IOPORT is not set
  13 CONFIG_GENERIC_HARDIRQS=y
  14 CONFIG_STACKTRACE_SUPPORT=y
  15 CONFIG_LOCKDEP_SUPPORT=y
  16 CONFIG_TRACE_IRQFLAGS_SUPPORT=y
  17 CONFIG_HARDIRQS_SW_RESEND=y
  18 CONFIG_GENERIC_IRQ_PROBE=y
  19 CONFIG_RWSEM_GENERIC_SPINLOCK=y
  20 # CONFIG_ARCH_HAS_ILOG2_U32 is not set
  21 # CONFIG_ARCH_HAS_ILOG2_U64 is not set
  22 CONFIG_GENERIC_HWEIGHT=y
  23 CONFIG_GENERIC_CALIBRATE_DELAY=y
  24 CONFIG_ZONE_DMA=y
  25 CONFIG_VECTORS_BASE=0xffff0000
  26 CONFIG_DEFCONFIG_LIST="/lib/modules/$UNAME_RELEASE/.config"
  27
  28 #
  29 # General setup
  30 #
  31 CONFIG_EXPERIMENTAL=y
  32 CONFIG_BROKEN_ON_SMP=y
  33 CONFIG_INIT_ENV_ARG_LIMIT=32
  34 CONFIG_LOCALVERSION=""
  35 CONFIG_LOCALVERSION_AUTO=y
  36 CONFIG_SWAP=y
  37 CONFIG_SYSVIPC=y
  38 CONFIG_SYSVIPC_SYSCTL=y
  39 # CONFIG_BSD_PROCESS_ACCT is not set
  40 # CONFIG_USER_NS is not set
  41 # CONFIG_IKCONFIG is not set
  42 CONFIG_LOG_BUF_SHIFT=14
  43 CONFIG_SYSFS_DEPRECATED=y
  44 # CONFIG_RELAY is not set
  45 CONFIG_BLK_DEV_INITRD=y
  46 CONFIG_INITRAMFS_SOURCE=""
  47 CONFIG_CC_OPTIMIZE_FOR_SIZE=y
  48 CONFIG_SYSCTL=y
  49 # CONFIG_EMBEDDED is not set
  50 CONFIG_UID16=y
  51 CONFIG_SYSCTL_SYSCALL=y
  52 CONFIG_KALLSYMS=y
  53 # CONFIG_KALLSYMS_ALL is not set
  54 # CONFIG_KALLSYMS_EXTRA_PASS is not set
  55 CONFIG_HOTPLUG=y
  56 CONFIG_PRINTK=y
  57 CONFIG_BUG=y
  58 CONFIG_ELF_CORE=y
  59 CONFIG_BASE_FULL=y
  60 CONFIG_FUTEX=y
  61 CONFIG_ANON_INODES=y
  62 CONFIG_EPOLL=y
  63 CONFIG_SIGNALFD=y
  64 CONFIG_TIMERFD=y
  65 CONFIG_EVENTFD=y
  66 CONFIG_SHMEM=y
  67 CONFIG_VM_EVENT_COUNTERS=y
  68 CONFIG_SLUB_DEBUG=y
  69 # CONFIG_SLAB is not set
  70 CONFIG_SLUB=y
  71 # CONFIG_SLOB is not set
  72 CONFIG_RT_MUTEXES=y
  73 # CONFIG_TINY_SHMEM is not set
  74 CONFIG_BASE_SMALL=0
  75 CONFIG_MODULES=y
  76 CONFIG_MODULE_UNLOAD=y
  77 # CONFIG_MODULE_FORCE_UNLOAD is not set
  78 # CONFIG_MODVERSIONS is not set
  79 # CONFIG_MODULE_SRCVERSION_ALL is not set
  80 # CONFIG_KMOD is not set
  81 CONFIG_BLOCK=y
  82 # CONFIG_LBD is not set
  83 # CONFIG_BLK_DEV_IO_TRACE is not set
  84 # CONFIG_LSF is not set
  85 # CONFIG_BLK_DEV_BSG is not set
  86
  87 #
  88 # IO Schedulers
  89 #
  90 CONFIG_IOSCHED_NOOP=y
  91 CONFIG_IOSCHED_AS=y
  92 CONFIG_IOSCHED_DEADLINE=y
  93 CONFIG_IOSCHED_CFQ=y
  94 # CONFIG_DEFAULT_AS is not set
  95 # CONFIG_DEFAULT_DEADLINE is not set
  96 CONFIG_DEFAULT_CFQ=y
  97 # CONFIG_DEFAULT_NOOP is not set
  98 CONFIG_DEFAULT_IOSCHED="cfq"
  99
 100 #
 101 # System Type
 102 #
 103 # CONFIG_ARCH_AAEC2000 is not set
 104 # CONFIG_ARCH_INTEGRATOR is not set
 105 # CONFIG_ARCH_REALVIEW is not set
 106 # CONFIG_ARCH_VERSATILE is not set
 107 # CONFIG_ARCH_AT91 is not set
 108 # CONFIG_ARCH_CLPS7500 is not set
 109 # CONFIG_ARCH_CLPS711X is not set
 110 # CONFIG_ARCH_CO285 is not set
 111 # CONFIG_ARCH_EBSA110 is not set
 112 # CONFIG_ARCH_EP93XX is not set
 113 # CONFIG_ARCH_FOOTBRIDGE is not set
 114 # CONFIG_ARCH_NETX is not set
 115 # CONFIG_ARCH_H720X is not set
 116 # CONFIG_ARCH_IMX is not set
 117 # CONFIG_ARCH_IOP13XX is not set
 118 # CONFIG_ARCH_IOP32X is not set
 119 # CONFIG_ARCH_IOP33X is not set
 120 # CONFIG_ARCH_IXP23XX is not set
 121 # CONFIG_ARCH_IXP2000 is not set
 122 # CONFIG_ARCH_IXP4XX is not set
 123 # CONFIG_ARCH_L7200 is not set
 124 # CONFIG_ARCH_KS8695 is not set
 125 # CONFIG_ARCH_NS9XXX is not set
 126 # CONFIG_ARCH_MXC is not set
 127 # CONFIG_ARCH_PNX4008 is not set
 128 # CONFIG_ARCH_PXA is not set
 129 # CONFIG_ARCH_RPC is not set
 130 # CONFIG_ARCH_SA1100 is not set
 131 # CONFIG_ARCH_S3C2410 is not set
 132 # CONFIG_ARCH_SHARK is not set
 133 # CONFIG_ARCH_LH7A40X is not set
 134 # CONFIG_ARCH_DAVINCI is not set
 135 CONFIG_ARCH_OMAP=y
 136
 137 #
 138 # TI OMAP Implementations
 139 #
 140 CONFIG_ARCH_OMAP_OTG=y
 141 # CONFIG_ARCH_OMAP1 is not set
 142 CONFIG_ARCH_OMAP2=y
 143 # CONFIG_ARCH_OMAP3 is not set
 144
 145 #
 146 # OMAP Feature Selections
 147 #
 148 # CONFIG_OMAP_RESET_CLOCKS is not set
 149 CONFIG_OMAP_BOOT_TAG=y
 150 # CONFIG_OMAP_BOOT_REASON is not set
 151 # CONFIG_OMAP_COMPONENT_VERSION is not set
 152 # CONFIG_OMAP_GPIO_SWITCH is not set
 153 # CONFIG_OMAP_MUX is not set
 154 # CONFIG_OMAP_STI is not set
 155 CONFIG_OMAP_MCBSP=y
 156 # CONFIG_OMAP_MMU_FWK is not set
 157 # CONFIG_OMAP_MBOX_FWK is not set
 158 CONFIG_OMAP_MPU_TIMER=y
 159 # CONFIG_OMAP_32K_TIMER is not set
 160 CONFIG_OMAP_DM_TIMER=y
 161 # CONFIG_OMAP_LL_DEBUG_UART1 is not set
 162 # CONFIG_OMAP_LL_DEBUG_UART2 is not set
 163 CONFIG_OMAP_LL_DEBUG_UART3=y
 164 # CONFIG_OMAP_DSP is not set
 165 CONFIG_MACH_OMAP_GENERIC=y
 166
 167 #
 168 # OMAP Core Type
 169 #
 170 CONFIG_ARCH_OMAP24XX=y
 171 CONFIG_ARCH_OMAP2420=y
 172 # CONFIG_ARCH_OMAP2430 is not set
 173
 174 #
 175 # OMAP Board Type
 176 #
 177 # CONFIG_MACH_NOKIA_N800 is not set
 178 # CONFIG_MACH_OMAP_H4 is not set
 179 # CONFIG_MACH_OMAP_APOLLON is not set
 180 # CONFIG_MACH_OMAP_APOLLON_PLUS is not set
 181 # CONFIG_MACH_OMAP_2430SDP is not set
 182
 183 #
 184 # Boot options
 185 #
 186
 187 #
 188 # Power management
 189 #
 190
 191 #
 192 # Processor Type
 193 #
 194 CONFIG_CPU_32=y
 195 CONFIG_CPU_V6=y
 196 # CONFIG_CPU_32v6K is not set
 197 CONFIG_CPU_32v6=y
 198 CONFIG_CPU_ABRT_EV6=y
 199 CONFIG_CPU_PABRT_NOIFAR=y
 200 CONFIG_CPU_CACHE_V6=y
 201 CONFIG_CPU_CACHE_VIPT=y
 202 CONFIG_CPU_COPY_V6=y
 203 CONFIG_CPU_TLB_V6=y
 204 CONFIG_CPU_HAS_ASID=y
 205 CONFIG_CPU_CP15=y
 206 CONFIG_CPU_CP15_MMU=y
 207
 208 #
 209 # Processor Features
 210 #
 211 CONFIG_ARM_THUMB=y
 212 # CONFIG_CPU_ICACHE_DISABLE is not set
 213 # CONFIG_CPU_DCACHE_DISABLE is not set
 214 # CONFIG_CPU_BPREDICT_DISABLE is not set
 215 # CONFIG_OUTER_CACHE is not set
 216
 217 #
 218 # Bus support
 219 #
 220 # CONFIG_PCI_SYSCALL is not set
 221 # CONFIG_ARCH_SUPPORTS_MSI is not set
 222
 223 #
 224 # PCCARD (PCMCIA/CardBus) support
 225 #
 226 # CONFIG_PCCARD is not set
 227
 228 #
 229 # Kernel Features
 230 #
 231 # CONFIG_TICK_ONESHOT is not set
 232 # CONFIG_NO_HZ is not set
 233 # CONFIG_HIGH_RES_TIMERS is not set
 234 # CONFIG_PREEMPT is not set
 235 CONFIG_HZ=100
 236 # CONFIG_AEABI is not set
 237 # CONFIG_ARCH_DISCONTIGMEM_ENABLE is not set
 238 CONFIG_SELECT_MEMORY_MODEL=y
 239 CONFIG_FLATMEM_MANUAL=y
 240 # CONFIG_DISCONTIGMEM_MANUAL is not set
 241 # CONFIG_SPARSEMEM_MANUAL is not set
 242 CONFIG_FLATMEM=y
 243 CONFIG_FLAT_NODE_MEM_MAP=y
 244 # CONFIG_SPARSEMEM_STATIC is not set
 245 CONFIG_SPLIT_PTLOCK_CPUS=4
 246 # CONFIG_RESOURCES_64BIT is not set
 247 CONFIG_ZONE_DMA_FLAG=1
 248 CONFIG_BOUNCE=y
 249 CONFIG_VIRT_TO_BUS=y
 250 CONFIG_LEDS=y
 251 CONFIG_ALIGNMENT_TRAP=y
 252
 253 #
 254 # Boot options
 255 #
 256 CONFIG_ZBOOT_ROM_TEXT=0x10C08000
 257 CONFIG_ZBOOT_ROM_BSS=0x10200000
 258 # CONFIG_ZBOOT_ROM is not set
 259 CONFIG_CMDLINE=""
 260 # CONFIG_XIP_KERNEL is not set
 261 # CONFIG_KEXEC is not set
 262
 263 #
 264 # CPU Frequency scaling
 265 #
 266 # CONFIG_CPU_FREQ is not set
 267
 268 #
 269 # Floating point emulation
 270 #
 271
 272 #
 273 # At least one emulation must be selected
 274 #
 275 CONFIG_FPE_NWFPE=y
 276 # CONFIG_FPE_NWFPE_XP is not set
 277 # CONFIG_FPE_FASTFPE is not set
 278 # CONFIG_VFP is not set
 279
 280 #
 281 # Userspace binary formats
 282 #
 283 CONFIG_BINFMT_ELF=y
 284 # CONFIG_BINFMT_AOUT is not set
 285 # CONFIG_BINFMT_MISC is not set
 286 # CONFIG_ARTHUR is not set
 287
 288 #
 289 # Power management options
 290 #
 291 # CONFIG_PM is not set
 292 CONFIG_SUSPEND_UP_POSSIBLE=y
 293
 294 #
 295 # Networking
 296 #
 297 # CONFIG_NET is not set
 298
 299 #
 300 # Device Drivers
 301 #
 302
 303 #
 304 # Generic Driver Options
 305 #
 306 CONFIG_STANDALONE=y
 307 CONFIG_PREVENT_FIRMWARE_BUILD=y
 308 CONFIG_FW_LOADER=y
 309 # CONFIG_DEBUG_DRIVER is not set
 310 # CONFIG_DEBUG_DEVRES is not set
 311 # CONFIG_SYS_HYPERVISOR is not set
 312 # CONFIG_MTD is not set
 313 # CONFIG_PARPORT is not set
 314 CONFIG_BLK_DEV=y
 315 # CONFIG_BLK_DEV_COW_COMMON is not set
 316 # CONFIG_BLK_DEV_LOOP is not set
 317 CONFIG_BLK_DEV_RAM=y
 318 CONFIG_BLK_DEV_RAM_COUNT=16
 319 CONFIG_BLK_DEV_RAM_SIZE=4096
 320 CONFIG_BLK_DEV_RAM_BLOCKSIZE=1024
 321 # CONFIG_CDROM_PKTCDVD is not set
 322
 323 #
 324 # SCSI device support
 325 #
 326 # CONFIG_RAID_ATTRS is not set
 327 # CONFIG_SCSI is not set
 328 # CONFIG_SCSI_DMA is not set
 329 # CONFIG_SCSI_NETLINK is not set
 330 # CONFIG_ATA is not set
 331 # CONFIG_MD is not set
 332
 333 #
 334 # Input device support
 335 #
 336 CONFIG_INPUT=y
 337 # CONFIG_INPUT_FF_MEMLESS is not set
 338 # CONFIG_INPUT_POLLDEV is not set
 339
 340 #
 341 # Userland interfaces
 342 #
 343 CONFIG_INPUT_MOUSEDEV=y
 344 CONFIG_INPUT_MOUSEDEV_PSAUX=y
 345 CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024
 346 CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768
 347 # CONFIG_INPUT_JOYDEV is not set
 348 # CONFIG_INPUT_TSDEV is not set
 349 CONFIG_INPUT_EVDEV=y
 350 # CONFIG_INPUT_EVBUG is not set
 351
 352 #
 353 # Input Device Drivers
 354 #
 355 # CONFIG_INPUT_KEYBOARD is not set
 356 # CONFIG_INPUT_MOUSE is not set
 357 # CONFIG_INPUT_JOYSTICK is not set
 358 # CONFIG_INPUT_TABLET is not set
 359 # CONFIG_INPUT_TOUCHSCREEN is not set
 360 # CONFIG_INPUT_MISC is not set
 361
 362 #
 363 # Hardware I/O ports
 364 #
 365 CONFIG_SERIO=y
 366 CONFIG_SERIO_SERPORT=y
 367 # CONFIG_SERIO_RAW is not set
 368 # CONFIG_GAMEPORT is not set
 369
 370 #
 371 # Character devices
 372 #
 373 CONFIG_VT=y
 374 CONFIG_VT_CONSOLE=y
 375 CONFIG_HW_CONSOLE=y
 376 # CONFIG_VT_HW_CONSOLE_BINDING is not set
 377 # CONFIG_SERIAL_NONSTANDARD is not set
 378
 379 #
 380 # Serial drivers
 381 #
 382 CONFIG_SERIAL_8250=y
 383 CONFIG_SERIAL_8250_CONSOLE=y
 384 CONFIG_SERIAL_8250_NR_UARTS=4
 385 CONFIG_SERIAL_8250_RUNTIME_UARTS=4
 386 # CONFIG_SERIAL_8250_EXTENDED is not set
 387
 388 #
 389 # Non-8250 serial port support
 390 #
 391 CONFIG_SERIAL_CORE=y
 392 CONFIG_SERIAL_CORE_CONSOLE=y
 393 CONFIG_UNIX98_PTYS=y
 394 # CONFIG_LEGACY_PTYS is not set
 395 # CONFIG_IPMI_HANDLER is not set
 396 CONFIG_WATCHDOG=y
 397 CONFIG_WATCHDOG_NOWAYOUT=y
 398
 399 #
 400 # Watchdog Device Drivers
 401 #
 402 # CONFIG_SOFT_WATCHDOG is not set
 403 # CONFIG_OMAP_WATCHDOG is not set
 404 CONFIG_HW_RANDOM=m
 405 CONFIG_HW_RANDOM_OMAP=m
 406 # CONFIG_NVRAM is not set
 407 # CONFIG_R3964 is not set
 408 # CONFIG_RAW_DRIVER is not set
 409 # CONFIG_TCG_TPM is not set
 410 # CONFIG_I2C is not set
 411
 412 #
 413 # SPI support
 414 #
 415 # CONFIG_SPI is not set
 416 # CONFIG_SPI_MASTER is not set
 417 # CONFIG_W1 is not set
 418 CONFIG_HWMON=y
 419 # CONFIG_HWMON_VID is not set
 420 # CONFIG_SENSORS_ABITUGURU is not set
 421 # CONFIG_SENSORS_ABITUGURU3 is not set
 422 # CONFIG_SENSORS_F71805F is not set
 423 # CONFIG_SENSORS_IT87 is not set
 424 # CONFIG_SENSORS_PC87360 is not set
 425 # CONFIG_SENSORS_PC87427 is not set
 426 # CONFIG_SENSORS_SMSC47M1 is not set
 427 # CONFIG_SENSORS_SMSC47B397 is not set
 428 # CONFIG_SENSORS_VT1211 is not set
 429 # CONFIG_SENSORS_W83627HF is not set
 430 # CONFIG_SENSORS_W83627EHF is not set
 431 # CONFIG_HWMON_DEBUG_CHIP is not set
 432 CONFIG_MISC_DEVICES=y
 433 # CONFIG_EEPROM_93CX6 is not set
 434
 435 #
 436 # Multifunction device drivers
 437 #
 438 # CONFIG_MFD_SM501 is not set
 439 # CONFIG_NEW_LEDS is not set
 440
 441 #
 442 # Multimedia devices
 443 #
 444 # CONFIG_VIDEO_DEV is not set
 445 CONFIG_DAB=y
 446
 447 #
 448 # Graphics support
 449 #
 450 # CONFIG_BACKLIGHT_LCD_SUPPORT is not set
 451
 452 #
 453 # Display device support
 454 #
 455 # CONFIG_DISPLAY_SUPPORT is not set
 456 # CONFIG_VGASTATE is not set
 457 CONFIG_VIDEO_OUTPUT_CONTROL=m
 458 # CONFIG_FB is not set
 459
 460 #
 461 # Console display driver support
 462 #
 463 # CONFIG_VGA_CONSOLE is not set
 464 CONFIG_DUMMY_CONSOLE=y
 465
 466 #
 467 # Sound
 468 #
 469 # CONFIG_SOUND is not set
 470 CONFIG_HID_SUPPORT=y
 471 CONFIG_HID=y
 472 CONFIG_HID_DEBUG=y
 473 CONFIG_USB_SUPPORT=y
 474 CONFIG_USB_ARCH_HAS_HCD=y
 475 CONFIG_USB_ARCH_HAS_OHCI=y
 476 # CONFIG_USB_ARCH_HAS_EHCI is not set
 477 # CONFIG_USB is not set
 478
 479 #
 480 # Enable Host or Gadget support to see Inventra options
 481 #
 482
 483 #
 484 # NOTE: USB_STORAGE enables SCSI, and 'SCSI disk support'
 485 #
 486
 487 #
 488 # USB Gadget Support
 489 #
 490 # CONFIG_USB_GADGET is not set
 491 # CONFIG_MMC is not set
 492 CONFIG_RTC_LIB=y
 493 # CONFIG_RTC_CLASS is not set
 494
 495 #
 496 # DMA Engine support
 497 #
 498 # CONFIG_DMA_ENGINE is not set
 499
 500 #
 501 # DMA Clients
 502 #
 503
 504 #
 505 # DMA Devices
 506 #
 507
 508 #
 509 # CBUS support
 510 #
 511 # CONFIG_CBUS is not set
 512
 513 #
 514 # File systems
 515 #
 516 CONFIG_EXT2_FS=y
 517 CONFIG_EXT2_FS_XATTR=y
 518 # CONFIG_EXT2_FS_POSIX_ACL is not set
 519 # CONFIG_EXT2_FS_SECURITY is not set
 520 # CONFIG_EXT2_FS_XIP is not set
 521 # CONFIG_EXT3_FS is not set
 522 # CONFIG_EXT4DEV_FS is not set
 523 CONFIG_FS_MBCACHE=y
 524 # CONFIG_REISERFS_FS is not set
 525 # CONFIG_JFS_FS is not set
 526 # CONFIG_FS_POSIX_ACL is not set
 527 # CONFIG_XFS_FS is not set
 528 # CONFIG_GFS2_FS is not set
 529 # CONFIG_MINIX_FS is not set
 530 CONFIG_ROMFS_FS=y
 531 CONFIG_INOTIFY=y
 532 CONFIG_INOTIFY_USER=y
 533 # CONFIG_QUOTA is not set
 534 CONFIG_DNOTIFY=y
 535 # CONFIG_AUTOFS_FS is not set
 536 # CONFIG_AUTOFS4_FS is not set
 537 # CONFIG_FUSE_FS is not set
 538
 539 #
 540 # CD-ROM/DVD Filesystems
 541 #
 542 # CONFIG_ISO9660_FS is not set
 543 # CONFIG_UDF_FS is not set
 544
 545 #
 546 # DOS/FAT/NT Filesystems
 547 #
 548 # CONFIG_MSDOS_FS is not set
 549 # CONFIG_VFAT_FS is not set
 550 # CONFIG_NTFS_FS is not set
 551
 552 #
 553 # Pseudo filesystems
 554 #
 555 CONFIG_PROC_FS=y
 556 CONFIG_PROC_SYSCTL=y
 557 CONFIG_SYSFS=y
 558 # CONFIG_TMPFS is not set
 559 # CONFIG_HUGETLB_PAGE is not set
 560 CONFIG_RAMFS=y
 561 # CONFIG_CONFIGFS_FS is not set
 562
 563 #
 564 # Miscellaneous filesystems
 565 #
 566 # CONFIG_ADFS_FS is not set
 567 # CONFIG_AFFS_FS is not set
 568 # CONFIG_HFS_FS is not set
 569 # CONFIG_HFSPLUS_FS is not set
 570 # CONFIG_BEFS_FS is not set
 571 # CONFIG_BFS_FS is not set
 572 # CONFIG_EFS_FS is not set
 573 # CONFIG_CRAMFS is not set
 574 # CONFIG_VXFS_FS is not set
 575 # CONFIG_HPFS_FS is not set
 576 # CONFIG_QNX4FS_FS is not set
 577 # CONFIG_SYSV_FS is not set
 578 # CONFIG_UFS_FS is not set
 579
 580 #
 581 # Partition Types
 582 #
 583 # CONFIG_PARTITION_ADVANCED is not set
 584 CONFIG_MSDOS_PARTITION=y
 585
 586 #
 587 # Native Language Support
 588 #
 589 # CONFIG_NLS is not set
 590
 591 #
 592 # Profiling support
 593 #
 594 # CONFIG_PROFILING is not set
 595
 596 #
 597 # Kernel hacking
 598 #
 599 # CONFIG_PRINTK_TIME is not set
 600 CONFIG_ENABLE_MUST_CHECK=y
 601 # CONFIG_MAGIC_SYSRQ is not set
 602 # CONFIG_UNUSED_SYMBOLS is not set
 603 # CONFIG_DEBUG_FS is not set
 604 # CONFIG_HEADERS_CHECK is not set
 605 CONFIG_DEBUG_KERNEL=y
 606 # CONFIG_DEBUG_SHIRQ is not set
 607 CONFIG_DETECT_SOFTLOCKUP=y
 608 CONFIG_SCHED_DEBUG=y
 609 # CONFIG_SCHEDSTATS is not set
 610 # CONFIG_TIMER_STATS is not set
 611 # CONFIG_SLUB_DEBUG_ON is not set
 612 # CONFIG_DEBUG_RT_MUTEXES is not set
 613 # CONFIG_RT_MUTEX_TESTER is not set
 614 # CONFIG_DEBUG_SPINLOCK is not set
 615 # CONFIG_DEBUG_MUTEXES is not set
 616 # CONFIG_DEBUG_LOCK_ALLOC is not set
 617 # CONFIG_PROVE_LOCKING is not set
 618 # CONFIG_LOCK_STAT is not set
 619 # CONFIG_DEBUG_SPINLOCK_SLEEP is not set
 620 # CONFIG_DEBUG_LOCKING_API_SELFTESTS is not set
 621 # CONFIG_DEBUG_KOBJECT is not set
 622 CONFIG_DEBUG_BUGVERBOSE=y
 623 CONFIG_DEBUG_INFO=y
 624 # CONFIG_DEBUG_VM is not set
 625 # CONFIG_DEBUG_LIST is not set
 626 CONFIG_FRAME_POINTER=y
 627 CONFIG_FORCED_INLINING=y
 628 # CONFIG_RCU_TORTURE_TEST is not set
 629 # CONFIG_FAULT_INJECTION is not set
 630 CONFIG_DEBUG_USER=y
 631 CONFIG_DEBUG_ERRORS=y
 632 CONFIG_DEBUG_LL=y
 633 # CONFIG_DEBUG_ICEDCC is not set
 634
 635 #
 636 # Security options
 637 #
 638 # CONFIG_KEYS is not set
 639 # CONFIG_SECURITY is not set
 640 # CONFIG_CRYPTO is not set
 641
 642 #
 643 # Library routines
 644 #
 645 CONFIG_BITREVERSE=y
 646 CONFIG_CRC_CCITT=y
 647 # CONFIG_CRC16 is not set
 648 # CONFIG_CRC_ITU_T is not set
 649 CONFIG_CRC32=y
 650 # CONFIG_CRC7 is not set
 651 # CONFIG_LIBCRC32C is not set
 652 CONFIG_PLIST=y
 653 CONFIG_HAS_IOMEM=y
 654 CONFIG_HAS_IOPORT=y
 655 CONFIG_HAS_DMA=y