git.oblomov.eu Git - linux-2.6/blob - arch/powerpc/configs/40x/walnut_defconfig

   1 #
   2 # Automatically generated make config: don't edit
   3 # Linux kernel version: 2.6.29-rc2
   4 # Tue Jan 20 08:17:57 2009
   5 #
   6 # CONFIG_PPC64 is not set
   7
   8 #
   9 # Processor support
  10 #
  11 # CONFIG_6xx is not set
  12 # CONFIG_PPC_85xx is not set
  13 # CONFIG_PPC_8xx is not set
  14 CONFIG_40x=y
  15 # CONFIG_44x is not set
  16 # CONFIG_E200 is not set
  17 CONFIG_4xx=y
  18 CONFIG_PPC_MMU_NOHASH=y
  19 # CONFIG_PPC_MM_SLICES is not set
  20 CONFIG_NOT_COHERENT_CACHE=y
  21 CONFIG_PPC32=y
  22 CONFIG_WORD_SIZE=32
  23 # CONFIG_ARCH_PHYS_ADDR_T_64BIT is not set
  24 CONFIG_MMU=y
  25 CONFIG_GENERIC_CMOS_UPDATE=y
  26 CONFIG_GENERIC_TIME=y
  27 CONFIG_GENERIC_TIME_VSYSCALL=y
  28 CONFIG_GENERIC_CLOCKEVENTS=y
  29 CONFIG_GENERIC_HARDIRQS=y
  30 # CONFIG_HAVE_SETUP_PER_CPU_AREA is not set
  31 CONFIG_IRQ_PER_CPU=y
  32 CONFIG_STACKTRACE_SUPPORT=y
  33 CONFIG_HAVE_LATENCYTOP_SUPPORT=y
  34 CONFIG_LOCKDEP_SUPPORT=y
  35 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
  36 CONFIG_ARCH_HAS_ILOG2_U32=y
  37 CONFIG_GENERIC_HWEIGHT=y
  38 CONFIG_GENERIC_CALIBRATE_DELAY=y
  39 CONFIG_GENERIC_FIND_NEXT_BIT=y
  40 # CONFIG_ARCH_NO_VIRT_TO_BUS is not set
  41 CONFIG_PPC=y
  42 CONFIG_EARLY_PRINTK=y
  43 CONFIG_GENERIC_NVRAM=y
  44 CONFIG_SCHED_OMIT_FRAME_POINTER=y
  45 CONFIG_ARCH_MAY_HAVE_PC_FDC=y
  46 CONFIG_PPC_OF=y
  47 CONFIG_OF=y
  48 CONFIG_PPC_UDBG_16550=y
  49 # CONFIG_GENERIC_TBSYNC is not set
  50 CONFIG_AUDIT_ARCH=y
  51 CONFIG_GENERIC_BUG=y
  52 # CONFIG_DEFAULT_UIMAGE is not set
  53 CONFIG_PPC_DCR_NATIVE=y
  54 # CONFIG_PPC_DCR_MMIO is not set
  55 CONFIG_PPC_DCR=y
  56 CONFIG_DEFCONFIG_LIST="/lib/modules/$UNAME_RELEASE/.config"
  57
  58 #
  59 # General setup
  60 #
  61 CONFIG_EXPERIMENTAL=y
  62 CONFIG_BROKEN_ON_SMP=y
  63 CONFIG_INIT_ENV_ARG_LIMIT=32
  64 CONFIG_LOCALVERSION=""
  65 CONFIG_LOCALVERSION_AUTO=y
  66 CONFIG_SWAP=y
  67 CONFIG_SYSVIPC=y
  68 CONFIG_SYSVIPC_SYSCTL=y
  69 CONFIG_POSIX_MQUEUE=y
  70 # CONFIG_BSD_PROCESS_ACCT is not set
  71 # CONFIG_TASKSTATS is not set
  72 # CONFIG_AUDIT is not set
  73 # CONFIG_IKCONFIG is not set
  74 CONFIG_LOG_BUF_SHIFT=14
  75 CONFIG_GROUP_SCHED=y
  76 CONFIG_FAIR_GROUP_SCHED=y
  77 # CONFIG_RT_GROUP_SCHED is not set
  78 CONFIG_USER_SCHED=y
  79 # CONFIG_CGROUP_SCHED is not set
  80 # CONFIG_CGROUPS is not set
  81 CONFIG_SYSFS_DEPRECATED=y
  82 CONFIG_SYSFS_DEPRECATED_V2=y
  83 # CONFIG_RELAY is not set
  84 # CONFIG_NAMESPACES is not set
  85 CONFIG_BLK_DEV_INITRD=y
  86 CONFIG_INITRAMFS_SOURCE=""
  87 # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
  88 CONFIG_SYSCTL=y
  89 CONFIG_EMBEDDED=y
  90 CONFIG_SYSCTL_SYSCALL=y
  91 CONFIG_KALLSYMS=y
  92 CONFIG_KALLSYMS_ALL=y
  93 CONFIG_KALLSYMS_STRIP_GENERATED=y
  94 CONFIG_KALLSYMS_EXTRA_PASS=y
  95 CONFIG_HOTPLUG=y
  96 CONFIG_PRINTK=y
  97 CONFIG_BUG=y
  98 CONFIG_ELF_CORE=y
  99 CONFIG_COMPAT_BRK=y
 100 CONFIG_BASE_FULL=y
 101 CONFIG_FUTEX=y
 102 CONFIG_ANON_INODES=y
 103 CONFIG_EPOLL=y
 104 CONFIG_SIGNALFD=y
 105 CONFIG_TIMERFD=y
 106 CONFIG_EVENTFD=y
 107 CONFIG_SHMEM=y
 108 CONFIG_AIO=y
 109 CONFIG_VM_EVENT_COUNTERS=y
 110 CONFIG_PCI_QUIRKS=y
 111 CONFIG_SLUB_DEBUG=y
 112 # CONFIG_SLAB is not set
 113 CONFIG_SLUB=y
 114 # CONFIG_SLOB is not set
 115 # CONFIG_PROFILING is not set
 116 CONFIG_HAVE_OPROFILE=y
 117 # CONFIG_KPROBES is not set
 118 CONFIG_HAVE_EFFICIENT_UNALIGNED_ACCESS=y
 119 CONFIG_HAVE_IOREMAP_PROT=y
 120 CONFIG_HAVE_KPROBES=y
 121 CONFIG_HAVE_KRETPROBES=y
 122 CONFIG_HAVE_ARCH_TRACEHOOK=y
 123 # CONFIG_HAVE_GENERIC_DMA_COHERENT is not set
 124 CONFIG_SLABINFO=y
 125 CONFIG_RT_MUTEXES=y
 126 CONFIG_BASE_SMALL=0
 127 CONFIG_MODULES=y
 128 # CONFIG_MODULE_FORCE_LOAD is not set
 129 CONFIG_MODULE_UNLOAD=y
 130 # CONFIG_MODULE_FORCE_UNLOAD is not set
 131 # CONFIG_MODVERSIONS is not set
 132 # CONFIG_MODULE_SRCVERSION_ALL is not set
 133 CONFIG_BLOCK=y
 134 CONFIG_LBD=y
 135 # CONFIG_BLK_DEV_IO_TRACE is not set
 136 # CONFIG_BLK_DEV_BSG is not set
 137 # CONFIG_BLK_DEV_INTEGRITY is not set
 138
 139 #
 140 # IO Schedulers
 141 #
 142 CONFIG_IOSCHED_NOOP=y
 143 CONFIG_IOSCHED_AS=y
 144 CONFIG_IOSCHED_DEADLINE=y
 145 CONFIG_IOSCHED_CFQ=y
 146 CONFIG_DEFAULT_AS=y
 147 # CONFIG_DEFAULT_DEADLINE is not set
 148 # CONFIG_DEFAULT_CFQ is not set
 149 # CONFIG_DEFAULT_NOOP is not set
 150 CONFIG_DEFAULT_IOSCHED="anticipatory"
 151 CONFIG_CLASSIC_RCU=y
 152 # CONFIG_TREE_RCU is not set
 153 # CONFIG_PREEMPT_RCU is not set
 154 # CONFIG_TREE_RCU_TRACE is not set
 155 # CONFIG_PREEMPT_RCU_TRACE is not set
 156 # CONFIG_FREEZER is not set
 157 # CONFIG_PPC4xx_PCI_EXPRESS is not set
 158
 159 #
 160 # Platform support
 161 #
 162 # CONFIG_PPC_CELL is not set
 163 # CONFIG_PPC_CELL_NATIVE is not set
 164 # CONFIG_PQ2ADS is not set
 165 # CONFIG_PPC4xx_GPIO is not set
 166 # CONFIG_ACADIA is not set
 167 # CONFIG_EP405 is not set
 168 # CONFIG_HCU4 is not set
 169 # CONFIG_KILAUEA is not set
 170 # CONFIG_MAKALU is not set
 171 CONFIG_WALNUT=y
 172 # CONFIG_XILINX_VIRTEX_GENERIC_BOARD is not set
 173 # CONFIG_PPC40x_SIMPLE is not set
 174 CONFIG_405GP=y
 175 CONFIG_IBM405_ERR77=y
 176 CONFIG_IBM405_ERR51=y
 177 # CONFIG_IPIC is not set
 178 # CONFIG_MPIC is not set
 179 # CONFIG_MPIC_WEIRD is not set
 180 # CONFIG_PPC_I8259 is not set
 181 # CONFIG_PPC_RTAS is not set
 182 # CONFIG_MMIO_NVRAM is not set
 183 # CONFIG_PPC_MPC106 is not set
 184 # CONFIG_PPC_970_NAP is not set
 185 # CONFIG_PPC_INDIRECT_IO is not set
 186 # CONFIG_GENERIC_IOMAP is not set
 187 # CONFIG_CPU_FREQ is not set
 188 # CONFIG_FSL_ULI1575 is not set
 189 CONFIG_OF_RTC=y
 190 # CONFIG_SIMPLE_GPIO is not set
 191
 192 #
 193 # Kernel options
 194 #
 195 # CONFIG_HIGHMEM is not set
 196 # CONFIG_NO_HZ is not set
 197 # CONFIG_HIGH_RES_TIMERS is not set
 198 CONFIG_GENERIC_CLOCKEVENTS_BUILD=y
 199 # CONFIG_HZ_100 is not set
 200 CONFIG_HZ_250=y
 201 # CONFIG_HZ_300 is not set
 202 # CONFIG_HZ_1000 is not set
 203 CONFIG_HZ=250
 204 # CONFIG_SCHED_HRTICK is not set
 205 CONFIG_PREEMPT_NONE=y
 206 # CONFIG_PREEMPT_VOLUNTARY is not set
 207 # CONFIG_PREEMPT is not set
 208 CONFIG_BINFMT_ELF=y
 209 # CONFIG_CORE_DUMP_DEFAULT_ELF_HEADERS is not set
 210 # CONFIG_HAVE_AOUT is not set
 211 # CONFIG_BINFMT_MISC is not set
 212 # CONFIG_MATH_EMULATION is not set
 213 # CONFIG_IOMMU_HELPER is not set
 214 CONFIG_PPC_NEED_DMA_SYNC_OPS=y
 215 CONFIG_ARCH_ENABLE_MEMORY_HOTPLUG=y
 216 CONFIG_ARCH_HAS_WALK_MEMORY=y
 217 CONFIG_ARCH_ENABLE_MEMORY_HOTREMOVE=y
 218 CONFIG_ARCH_FLATMEM_ENABLE=y
 219 CONFIG_ARCH_POPULATES_NODE_MAP=y
 220 CONFIG_SELECT_MEMORY_MODEL=y
 221 CONFIG_FLATMEM_MANUAL=y
 222 # CONFIG_DISCONTIGMEM_MANUAL is not set
 223 # CONFIG_SPARSEMEM_MANUAL is not set
 224 CONFIG_FLATMEM=y
 225 CONFIG_FLAT_NODE_MEM_MAP=y
 226 CONFIG_PAGEFLAGS_EXTENDED=y
 227 CONFIG_SPLIT_PTLOCK_CPUS=4
 228 CONFIG_MIGRATION=y
 229 # CONFIG_PHYS_ADDR_T_64BIT is not set
 230 CONFIG_ZONE_DMA_FLAG=1
 231 CONFIG_BOUNCE=y
 232 CONFIG_VIRT_TO_BUS=y
 233 CONFIG_UNEVICTABLE_LRU=y
 234 CONFIG_PPC_4K_PAGES=y
 235 # CONFIG_PPC_16K_PAGES is not set
 236 # CONFIG_PPC_64K_PAGES is not set
 237 CONFIG_FORCE_MAX_ZONEORDER=11
 238 CONFIG_PROC_DEVICETREE=y
 239 # CONFIG_CMDLINE_BOOL is not set
 240 CONFIG_EXTRA_TARGETS=""
 241 # CONFIG_PM is not set
 242 CONFIG_SECCOMP=y
 243 CONFIG_ISA_DMA_API=y
 244
 245 #
 246 # Bus options
 247 #
 248 CONFIG_ZONE_DMA=y
 249 CONFIG_PPC_INDIRECT_PCI=y
 250 CONFIG_4xx_SOC=y
 251 CONFIG_PPC_PCI_CHOICE=y
 252 CONFIG_PCI=y
 253 CONFIG_PCI_DOMAINS=y
 254 CONFIG_PCI_SYSCALL=y
 255 # CONFIG_PCIEPORTBUS is not set
 256 CONFIG_ARCH_SUPPORTS_MSI=y
 257 # CONFIG_PCI_MSI is not set
 258 # CONFIG_PCI_LEGACY is not set
 259 # CONFIG_PCI_DEBUG is not set
 260 # CONFIG_PCI_STUB is not set
 261 # CONFIG_PCCARD is not set
 262 # CONFIG_HOTPLUG_PCI is not set
 263 # CONFIG_HAS_RAPIDIO is not set
 264
 265 #
 266 # Advanced setup
 267 #
 268 # CONFIG_ADVANCED_OPTIONS is not set
 269
 270 #
 271 # Default settings for advanced configuration options are used
 272 #
 273 CONFIG_LOWMEM_SIZE=0x30000000
 274 CONFIG_PAGE_OFFSET=0xc0000000
 275 CONFIG_KERNEL_START=0xc0000000
 276 CONFIG_PHYSICAL_START=0x00000000
 277 CONFIG_TASK_SIZE=0xc0000000
 278 CONFIG_CONSISTENT_START=0xff100000
 279 CONFIG_CONSISTENT_SIZE=0x00200000
 280 CONFIG_NET=y
 281
 282 #
 283 # Networking options
 284 #
 285 CONFIG_COMPAT_NET_DEV_OPS=y
 286 CONFIG_PACKET=y
 287 # CONFIG_PACKET_MMAP is not set
 288 CONFIG_UNIX=y
 289 # CONFIG_NET_KEY is not set
 290 CONFIG_INET=y
 291 # CONFIG_IP_MULTICAST is not set
 292 # CONFIG_IP_ADVANCED_ROUTER is not set
 293 CONFIG_IP_FIB_HASH=y
 294 CONFIG_IP_PNP=y
 295 CONFIG_IP_PNP_DHCP=y
 296 CONFIG_IP_PNP_BOOTP=y
 297 # CONFIG_IP_PNP_RARP is not set
 298 # CONFIG_NET_IPIP is not set
 299 # CONFIG_NET_IPGRE is not set
 300 # CONFIG_ARPD is not set
 301 # CONFIG_SYN_COOKIES is not set
 302 # CONFIG_INET_AH is not set
 303 # CONFIG_INET_ESP is not set
 304 # CONFIG_INET_IPCOMP is not set
 305 # CONFIG_INET_XFRM_TUNNEL is not set
 306 # CONFIG_INET_TUNNEL is not set
 307 # CONFIG_INET_XFRM_MODE_TRANSPORT is not set
 308 # CONFIG_INET_XFRM_MODE_TUNNEL is not set
 309 # CONFIG_INET_XFRM_MODE_BEET is not set
 310 # CONFIG_INET_LRO is not set
 311 CONFIG_INET_DIAG=y
 312 CONFIG_INET_TCP_DIAG=y
 313 # CONFIG_TCP_CONG_ADVANCED is not set
 314 CONFIG_TCP_CONG_CUBIC=y
 315 CONFIG_DEFAULT_TCP_CONG="cubic"
 316 # CONFIG_TCP_MD5SIG is not set
 317 # CONFIG_IPV6 is not set
 318 # CONFIG_NETWORK_SECMARK is not set
 319 # CONFIG_NETFILTER is not set
 320 # CONFIG_IP_DCCP is not set
 321 # CONFIG_IP_SCTP is not set
 322 # CONFIG_TIPC is not set
 323 # CONFIG_ATM is not set
 324 # CONFIG_BRIDGE is not set
 325 # CONFIG_NET_DSA is not set
 326 # CONFIG_VLAN_8021Q is not set
 327 # CONFIG_DECNET is not set
 328 # CONFIG_LLC2 is not set
 329 # CONFIG_IPX is not set
 330 # CONFIG_ATALK is not set
 331 # CONFIG_X25 is not set
 332 # CONFIG_LAPB is not set
 333 # CONFIG_ECONET is not set
 334 # CONFIG_WAN_ROUTER is not set
 335 # CONFIG_NET_SCHED is not set
 336 # CONFIG_DCB is not set
 337
 338 #
 339 # Network testing
 340 #
 341 # CONFIG_NET_PKTGEN is not set
 342 # CONFIG_HAMRADIO is not set
 343 # CONFIG_CAN is not set
 344 # CONFIG_IRDA is not set
 345 # CONFIG_BT is not set
 346 # CONFIG_AF_RXRPC is not set
 347 # CONFIG_PHONET is not set
 348 # CONFIG_WIRELESS is not set
 349 # CONFIG_WIMAX is not set
 350 # CONFIG_RFKILL is not set
 351 # CONFIG_NET_9P is not set
 352
 353 #
 354 # Device Drivers
 355 #
 356
 357 #
 358 # Generic Driver Options
 359 #
 360 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
 361 CONFIG_STANDALONE=y
 362 CONFIG_PREVENT_FIRMWARE_BUILD=y
 363 CONFIG_FW_LOADER=y
 364 CONFIG_FIRMWARE_IN_KERNEL=y
 365 CONFIG_EXTRA_FIRMWARE=""
 366 # CONFIG_DEBUG_DRIVER is not set
 367 # CONFIG_DEBUG_DEVRES is not set
 368 # CONFIG_SYS_HYPERVISOR is not set
 369 CONFIG_CONNECTOR=y
 370 CONFIG_PROC_EVENTS=y
 371 CONFIG_MTD=y
 372 # CONFIG_MTD_DEBUG is not set
 373 # CONFIG_MTD_CONCAT is not set
 374 CONFIG_MTD_PARTITIONS=y
 375 # CONFIG_MTD_TESTS is not set
 376 # CONFIG_MTD_REDBOOT_PARTS is not set
 377 CONFIG_MTD_CMDLINE_PARTS=y
 378 CONFIG_MTD_OF_PARTS=y
 379 # CONFIG_MTD_AR7_PARTS is not set
 380
 381 #
 382 # User Modules And Translation Layers
 383 #
 384 CONFIG_MTD_CHAR=y
 385 CONFIG_MTD_BLKDEVS=m
 386 CONFIG_MTD_BLOCK=m
 387 # CONFIG_MTD_BLOCK_RO is not set
 388 # CONFIG_FTL is not set
 389 # CONFIG_NFTL is not set
 390 # CONFIG_INFTL is not set
 391 # CONFIG_RFD_FTL is not set
 392 # CONFIG_SSFDC is not set
 393 # CONFIG_MTD_OOPS is not set
 394
 395 #
 396 # RAM/ROM/Flash chip drivers
 397 #
 398 CONFIG_MTD_CFI=y
 399 CONFIG_MTD_JEDECPROBE=y
 400 CONFIG_MTD_GEN_PROBE=y
 401 # CONFIG_MTD_CFI_ADV_OPTIONS is not set
 402 CONFIG_MTD_MAP_BANK_WIDTH_1=y
 403 CONFIG_MTD_MAP_BANK_WIDTH_2=y
 404 CONFIG_MTD_MAP_BANK_WIDTH_4=y
 405 # CONFIG_MTD_MAP_BANK_WIDTH_8 is not set
 406 # CONFIG_MTD_MAP_BANK_WIDTH_16 is not set
 407 # CONFIG_MTD_MAP_BANK_WIDTH_32 is not set
 408 CONFIG_MTD_CFI_I1=y
 409 CONFIG_MTD_CFI_I2=y
 410 # CONFIG_MTD_CFI_I4 is not set
 411 # CONFIG_MTD_CFI_I8 is not set
 412 # CONFIG_MTD_CFI_INTELEXT is not set
 413 CONFIG_MTD_CFI_AMDSTD=y
 414 # CONFIG_MTD_CFI_STAA is not set
 415 CONFIG_MTD_CFI_UTIL=y
 416 # CONFIG_MTD_RAM is not set
 417 # CONFIG_MTD_ROM is not set
 418 # CONFIG_MTD_ABSENT is not set
 419
 420 #
 421 # Mapping drivers for chip access
 422 #
 423 # CONFIG_MTD_COMPLEX_MAPPINGS is not set
 424 # CONFIG_MTD_PHYSMAP is not set
 425 CONFIG_MTD_PHYSMAP_OF=y
 426 # CONFIG_MTD_INTEL_VR_NOR is not set
 427 # CONFIG_MTD_PLATRAM is not set
 428
 429 #
 430 # Self-contained MTD device drivers
 431 #
 432 # CONFIG_MTD_PMC551 is not set
 433 # CONFIG_MTD_SLRAM is not set
 434 # CONFIG_MTD_PHRAM is not set
 435 # CONFIG_MTD_MTDRAM is not set
 436 # CONFIG_MTD_BLOCK2MTD is not set
 437
 438 #
 439 # Disk-On-Chip Device Drivers
 440 #
 441 # CONFIG_MTD_DOC2000 is not set
 442 # CONFIG_MTD_DOC2001 is not set
 443 # CONFIG_MTD_DOC2001PLUS is not set
 444 # CONFIG_MTD_NAND is not set
 445 # CONFIG_MTD_ONENAND is not set
 446
 447 #
 448 # LPDDR flash memory drivers
 449 #
 450 # CONFIG_MTD_LPDDR is not set
 451 # CONFIG_MTD_QINFO_PROBE is not set
 452
 453 #
 454 # UBI - Unsorted block images
 455 #
 456 # CONFIG_MTD_UBI is not set
 457 CONFIG_OF_DEVICE=y
 458 # CONFIG_PARPORT is not set
 459 CONFIG_BLK_DEV=y
 460 # CONFIG_BLK_DEV_FD is not set
 461 # CONFIG_BLK_CPQ_DA is not set
 462 # CONFIG_BLK_CPQ_CISS_DA is not set
 463 # CONFIG_BLK_DEV_DAC960 is not set
 464 # CONFIG_BLK_DEV_UMEM is not set
 465 # CONFIG_BLK_DEV_COW_COMMON is not set
 466 # CONFIG_BLK_DEV_LOOP is not set
 467 # CONFIG_BLK_DEV_NBD is not set
 468 # CONFIG_BLK_DEV_SX8 is not set
 469 CONFIG_BLK_DEV_RAM=y
 470 CONFIG_BLK_DEV_RAM_COUNT=16
 471 CONFIG_BLK_DEV_RAM_SIZE=35000
 472 # CONFIG_BLK_DEV_XIP is not set
 473 # CONFIG_CDROM_PKTCDVD is not set
 474 # CONFIG_ATA_OVER_ETH is not set
 475 # CONFIG_XILINX_SYSACE is not set
 476 # CONFIG_BLK_DEV_HD is not set
 477 CONFIG_MISC_DEVICES=y
 478 # CONFIG_PHANTOM is not set
 479 # CONFIG_EEPROM_93CX6 is not set
 480 # CONFIG_SGI_IOC4 is not set
 481 # CONFIG_TIFM_CORE is not set
 482 # CONFIG_ENCLOSURE_SERVICES is not set
 483 # CONFIG_HP_ILO is not set
 484 # CONFIG_C2PORT is not set
 485 CONFIG_HAVE_IDE=y
 486 # CONFIG_IDE is not set
 487
 488 #
 489 # SCSI device support
 490 #
 491 # CONFIG_RAID_ATTRS is not set
 492 # CONFIG_SCSI is not set
 493 # CONFIG_SCSI_DMA is not set
 494 # CONFIG_SCSI_NETLINK is not set
 495 # CONFIG_ATA is not set
 496 # CONFIG_MD is not set
 497 # CONFIG_FUSION is not set
 498
 499 #
 500 # IEEE 1394 (FireWire) support
 501 #
 502
 503 #
 504 # Enable only one of the two stacks, unless you know what you are doing
 505 #
 506 # CONFIG_FIREWIRE is not set
 507 # CONFIG_IEEE1394 is not set
 508 # CONFIG_I2O is not set
 509 # CONFIG_MACINTOSH_DRIVERS is not set
 510 CONFIG_NETDEVICES=y
 511 # CONFIG_DUMMY is not set
 512 # CONFIG_BONDING is not set
 513 # CONFIG_MACVLAN is not set
 514 # CONFIG_EQUALIZER is not set
 515 # CONFIG_TUN is not set
 516 # CONFIG_VETH is not set
 517 # CONFIG_ARCNET is not set
 518 # CONFIG_PHYLIB is not set
 519 CONFIG_NET_ETHERNET=y
 520 # CONFIG_MII is not set
 521 # CONFIG_HAPPYMEAL is not set
 522 # CONFIG_SUNGEM is not set
 523 # CONFIG_CASSINI is not set
 524 # CONFIG_NET_VENDOR_3COM is not set
 525 # CONFIG_NET_TULIP is not set
 526 # CONFIG_HP100 is not set
 527 CONFIG_IBM_NEW_EMAC=y
 528 CONFIG_IBM_NEW_EMAC_RXB=128
 529 CONFIG_IBM_NEW_EMAC_TXB=64
 530 CONFIG_IBM_NEW_EMAC_POLL_WEIGHT=32
 531 CONFIG_IBM_NEW_EMAC_RX_COPY_THRESHOLD=256
 532 CONFIG_IBM_NEW_EMAC_RX_SKB_HEADROOM=0
 533 # CONFIG_IBM_NEW_EMAC_DEBUG is not set
 534 CONFIG_IBM_NEW_EMAC_ZMII=y
 535 # CONFIG_IBM_NEW_EMAC_RGMII is not set
 536 # CONFIG_IBM_NEW_EMAC_TAH is not set
 537 # CONFIG_IBM_NEW_EMAC_EMAC4 is not set
 538 # CONFIG_IBM_NEW_EMAC_NO_FLOW_CTRL is not set
 539 # CONFIG_IBM_NEW_EMAC_MAL_CLR_ICINTSTAT is not set
 540 # CONFIG_IBM_NEW_EMAC_MAL_COMMON_ERR is not set
 541 # CONFIG_NET_PCI is not set
 542 # CONFIG_B44 is not set
 543 # CONFIG_ATL2 is not set
 544 CONFIG_NETDEV_1000=y
 545 # CONFIG_ACENIC is not set
 546 # CONFIG_DL2K is not set
 547 # CONFIG_E1000 is not set
 548 # CONFIG_E1000E is not set
 549 # CONFIG_IP1000 is not set
 550 # CONFIG_IGB is not set
 551 # CONFIG_NS83820 is not set
 552 # CONFIG_HAMACHI is not set
 553 # CONFIG_YELLOWFIN is not set
 554 # CONFIG_R8169 is not set
 555 # CONFIG_SIS190 is not set
 556 # CONFIG_SKGE is not set
 557 # CONFIG_SKY2 is not set
 558 # CONFIG_VIA_VELOCITY is not set
 559 # CONFIG_TIGON3 is not set
 560 # CONFIG_BNX2 is not set
 561 # CONFIG_QLA3XXX is not set
 562 # CONFIG_ATL1 is not set
 563 # CONFIG_ATL1E is not set
 564 # CONFIG_JME is not set
 565 CONFIG_NETDEV_10000=y
 566 # CONFIG_CHELSIO_T1 is not set
 567 CONFIG_CHELSIO_T3_DEPENDS=y
 568 # CONFIG_CHELSIO_T3 is not set
 569 # CONFIG_ENIC is not set
 570 # CONFIG_IXGBE is not set
 571 # CONFIG_IXGB is not set
 572 # CONFIG_S2IO is not set
 573 # CONFIG_MYRI10GE is not set
 574 # CONFIG_NETXEN_NIC is not set
 575 # CONFIG_NIU is not set
 576 # CONFIG_MLX4_EN is not set
 577 # CONFIG_MLX4_CORE is not set
 578 # CONFIG_TEHUTI is not set
 579 # CONFIG_BNX2X is not set
 580 # CONFIG_QLGE is not set
 581 # CONFIG_SFC is not set
 582 # CONFIG_TR is not set
 583
 584 #
 585 # Wireless LAN
 586 #
 587 # CONFIG_WLAN_PRE80211 is not set
 588 # CONFIG_WLAN_80211 is not set
 589 # CONFIG_IWLWIFI_LEDS is not set
 590
 591 #
 592 # Enable WiMAX (Networking options) to see the WiMAX drivers
 593 #
 594 # CONFIG_WAN is not set
 595 # CONFIG_FDDI is not set
 596 # CONFIG_HIPPI is not set
 597 # CONFIG_PPP is not set
 598 # CONFIG_SLIP is not set
 599 # CONFIG_NETCONSOLE is not set
 600 # CONFIG_NETPOLL is not set
 601 # CONFIG_NET_POLL_CONTROLLER is not set
 602 # CONFIG_ISDN is not set
 603 # CONFIG_PHONE is not set
 604
 605 #
 606 # Input device support
 607 #
 608 # CONFIG_INPUT is not set
 609
 610 #
 611 # Hardware I/O ports
 612 #
 613 # CONFIG_SERIO is not set
 614 # CONFIG_GAMEPORT is not set
 615
 616 #
 617 # Character devices
 618 #
 619 # CONFIG_VT is not set
 620 CONFIG_DEVKMEM=y
 621 # CONFIG_SERIAL_NONSTANDARD is not set
 622 # CONFIG_NOZOMI is not set
 623
 624 #
 625 # Serial drivers
 626 #
 627 CONFIG_SERIAL_8250=y
 628 CONFIG_SERIAL_8250_CONSOLE=y
 629 CONFIG_SERIAL_8250_PCI=y
 630 CONFIG_SERIAL_8250_NR_UARTS=4
 631 CONFIG_SERIAL_8250_RUNTIME_UARTS=4
 632 CONFIG_SERIAL_8250_EXTENDED=y
 633 # CONFIG_SERIAL_8250_MANY_PORTS is not set
 634 CONFIG_SERIAL_8250_SHARE_IRQ=y
 635 # CONFIG_SERIAL_8250_DETECT_IRQ is not set
 636 # CONFIG_SERIAL_8250_RSA is not set
 637
 638 #
 639 # Non-8250 serial port support
 640 #
 641 # CONFIG_SERIAL_UARTLITE is not set
 642 CONFIG_SERIAL_CORE=y
 643 CONFIG_SERIAL_CORE_CONSOLE=y
 644 # CONFIG_SERIAL_JSM is not set
 645 CONFIG_SERIAL_OF_PLATFORM=y
 646 # CONFIG_SERIAL_OF_PLATFORM_NWPSERIAL is not set
 647 CONFIG_UNIX98_PTYS=y
 648 # CONFIG_DEVPTS_MULTIPLE_INSTANCES is not set
 649 CONFIG_LEGACY_PTYS=y
 650 CONFIG_LEGACY_PTY_COUNT=256
 651 # CONFIG_HVC_UDBG is not set
 652 # CONFIG_IPMI_HANDLER is not set
 653 # CONFIG_HW_RANDOM is not set
 654 # CONFIG_NVRAM is not set
 655 # CONFIG_GEN_RTC is not set
 656 # CONFIG_R3964 is not set
 657 # CONFIG_APPLICOM is not set
 658 # CONFIG_RAW_DRIVER is not set
 659 # CONFIG_TCG_TPM is not set
 660 CONFIG_DEVPORT=y
 661 # CONFIG_I2C is not set
 662 # CONFIG_SPI is not set
 663 CONFIG_ARCH_WANT_OPTIONAL_GPIOLIB=y
 664 # CONFIG_GPIOLIB is not set
 665 # CONFIG_W1 is not set
 666 # CONFIG_POWER_SUPPLY is not set
 667 # CONFIG_HWMON is not set
 668 CONFIG_THERMAL=y
 669 # CONFIG_WATCHDOG is not set
 670 CONFIG_SSB_POSSIBLE=y
 671
 672 #
 673 # Sonics Silicon Backplane
 674 #
 675 # CONFIG_SSB is not set
 676
 677 #
 678 # Multifunction device drivers
 679 #
 680 # CONFIG_MFD_CORE is not set
 681 # CONFIG_MFD_SM501 is not set
 682 # CONFIG_HTC_PASIC3 is not set
 683 # CONFIG_MFD_TMIO is not set
 684 # CONFIG_REGULATOR is not set
 685
 686 #
 687 # Multimedia devices
 688 #
 689
 690 #
 691 # Multimedia core support
 692 #
 693 # CONFIG_VIDEO_DEV is not set
 694 # CONFIG_DVB_CORE is not set
 695 # CONFIG_VIDEO_MEDIA is not set
 696
 697 #
 698 # Multimedia drivers
 699 #
 700 # CONFIG_DAB is not set
 701
 702 #
 703 # Graphics support
 704 #
 705 # CONFIG_AGP is not set
 706 # CONFIG_DRM is not set
 707 # CONFIG_VGASTATE is not set
 708 CONFIG_VIDEO_OUTPUT_CONTROL=m
 709 # CONFIG_FB is not set
 710 # CONFIG_BACKLIGHT_LCD_SUPPORT is not set
 711
 712 #
 713 # Display device support
 714 #
 715 # CONFIG_DISPLAY_SUPPORT is not set
 716 # CONFIG_SOUND is not set
 717 CONFIG_USB_SUPPORT=y
 718 CONFIG_USB_ARCH_HAS_HCD=y
 719 CONFIG_USB_ARCH_HAS_OHCI=y
 720 CONFIG_USB_ARCH_HAS_EHCI=y
 721 # CONFIG_USB is not set
 722 # CONFIG_USB_OTG_WHITELIST is not set
 723 # CONFIG_USB_OTG_BLACKLIST_HUB is not set
 724
 725 #
 726 # Enable Host or Gadget support to see Inventra options
 727 #
 728
 729 #
 730 # NOTE: USB_STORAGE depends on SCSI but BLK_DEV_SD may also be needed;
 731 #
 732 # CONFIG_USB_GADGET is not set
 733
 734 #
 735 # OTG and related infrastructure
 736 #
 737 # CONFIG_UWB is not set
 738 # CONFIG_MMC is not set
 739 # CONFIG_MEMSTICK is not set
 740 # CONFIG_NEW_LEDS is not set
 741 # CONFIG_ACCESSIBILITY is not set
 742 # CONFIG_INFINIBAND is not set
 743 # CONFIG_EDAC is not set
 744 # CONFIG_RTC_CLASS is not set
 745 # CONFIG_DMADEVICES is not set
 746 # CONFIG_UIO is not set
 747 # CONFIG_STAGING is not set
 748
 749 #
 750 # File systems
 751 #
 752 CONFIG_EXT2_FS=y
 753 # CONFIG_EXT2_FS_XATTR is not set
 754 # CONFIG_EXT2_FS_XIP is not set
 755 # CONFIG_EXT3_FS is not set
 756 # CONFIG_EXT4_FS is not set
 757 # CONFIG_REISERFS_FS is not set
 758 # CONFIG_JFS_FS is not set
 759 # CONFIG_FS_POSIX_ACL is not set
 760 CONFIG_FILE_LOCKING=y
 761 # CONFIG_XFS_FS is not set
 762 # CONFIG_GFS2_FS is not set
 763 # CONFIG_OCFS2_FS is not set
 764 # CONFIG_BTRFS_FS is not set
 765 CONFIG_DNOTIFY=y
 766 CONFIG_INOTIFY=y
 767 CONFIG_INOTIFY_USER=y
 768 # CONFIG_QUOTA is not set
 769 # CONFIG_AUTOFS_FS is not set
 770 # CONFIG_AUTOFS4_FS is not set
 771 # CONFIG_FUSE_FS is not set
 772
 773 #
 774 # CD-ROM/DVD Filesystems
 775 #
 776 # CONFIG_ISO9660_FS is not set
 777 # CONFIG_UDF_FS is not set
 778
 779 #
 780 # DOS/FAT/NT Filesystems
 781 #
 782 # CONFIG_MSDOS_FS is not set
 783 # CONFIG_VFAT_FS is not set
 784 # CONFIG_NTFS_FS is not set
 785
 786 #
 787 # Pseudo filesystems
 788 #
 789 CONFIG_PROC_FS=y
 790 CONFIG_PROC_KCORE=y
 791 CONFIG_PROC_SYSCTL=y
 792 CONFIG_PROC_PAGE_MONITOR=y
 793 CONFIG_SYSFS=y
 794 CONFIG_TMPFS=y
 795 # CONFIG_TMPFS_POSIX_ACL is not set
 796 # CONFIG_HUGETLB_PAGE is not set
 797 # CONFIG_CONFIGFS_FS is not set
 798 CONFIG_MISC_FILESYSTEMS=y
 799 # CONFIG_ADFS_FS is not set
 800 # CONFIG_AFFS_FS is not set
 801 # CONFIG_HFS_FS is not set
 802 # CONFIG_HFSPLUS_FS is not set
 803 # CONFIG_BEFS_FS is not set
 804 # CONFIG_BFS_FS is not set
 805 # CONFIG_EFS_FS is not set
 806 # CONFIG_JFFS2_FS is not set
 807 CONFIG_CRAMFS=y
 808 # CONFIG_SQUASHFS is not set
 809 # CONFIG_VXFS_FS is not set
 810 # CONFIG_MINIX_FS is not set
 811 # CONFIG_OMFS_FS is not set
 812 # CONFIG_HPFS_FS is not set
 813 # CONFIG_QNX4FS_FS is not set
 814 # CONFIG_ROMFS_FS is not set
 815 # CONFIG_SYSV_FS is not set
 816 # CONFIG_UFS_FS is not set
 817 CONFIG_NETWORK_FILESYSTEMS=y
 818 CONFIG_NFS_FS=y
 819 CONFIG_NFS_V3=y
 820 # CONFIG_NFS_V3_ACL is not set
 821 # CONFIG_NFS_V4 is not set
 822 CONFIG_ROOT_NFS=y
 823 # CONFIG_NFSD is not set
 824 CONFIG_LOCKD=y
 825 CONFIG_LOCKD_V4=y
 826 CONFIG_NFS_COMMON=y
 827 CONFIG_SUNRPC=y
 828 # CONFIG_SUNRPC_REGISTER_V4 is not set
 829 # CONFIG_RPCSEC_GSS_KRB5 is not set
 830 # CONFIG_RPCSEC_GSS_SPKM3 is not set
 831 # CONFIG_SMB_FS is not set
 832 # CONFIG_CIFS is not set
 833 # CONFIG_NCP_FS is not set
 834 # CONFIG_CODA_FS is not set
 835 # CONFIG_AFS_FS is not set
 836
 837 #
 838 # Partition Types
 839 #
 840 # CONFIG_PARTITION_ADVANCED is not set
 841 CONFIG_MSDOS_PARTITION=y
 842 # CONFIG_NLS is not set
 843 # CONFIG_DLM is not set
 844
 845 #
 846 # Library routines
 847 #
 848 CONFIG_BITREVERSE=y
 849 CONFIG_GENERIC_FIND_LAST_BIT=y
 850 # CONFIG_CRC_CCITT is not set
 851 # CONFIG_CRC16 is not set
 852 # CONFIG_CRC_T10DIF is not set
 853 # CONFIG_CRC_ITU_T is not set
 854 CONFIG_CRC32=y
 855 # CONFIG_CRC7 is not set
 856 # CONFIG_LIBCRC32C is not set
 857 CONFIG_ZLIB_INFLATE=y
 858 CONFIG_PLIST=y
 859 CONFIG_HAS_IOMEM=y
 860 CONFIG_HAS_IOPORT=y
 861 CONFIG_HAS_DMA=y
 862 CONFIG_HAVE_LMB=y
 863
 864 #
 865 # Kernel hacking
 866 #
 867 # CONFIG_PRINTK_TIME is not set
 868 CONFIG_ENABLE_WARN_DEPRECATED=y
 869 CONFIG_ENABLE_MUST_CHECK=y
 870 CONFIG_FRAME_WARN=1024
 871 CONFIG_MAGIC_SYSRQ=y
 872 # CONFIG_UNUSED_SYMBOLS is not set
 873 CONFIG_DEBUG_FS=y
 874 # CONFIG_HEADERS_CHECK is not set
 875 CONFIG_DEBUG_KERNEL=y
 876 # CONFIG_DEBUG_SHIRQ is not set
 877 CONFIG_DETECT_SOFTLOCKUP=y
 878 # CONFIG_BOOTPARAM_SOFTLOCKUP_PANIC is not set
 879 CONFIG_BOOTPARAM_SOFTLOCKUP_PANIC_VALUE=0
 880 CONFIG_SCHED_DEBUG=y
 881 # CONFIG_SCHEDSTATS is not set
 882 # CONFIG_TIMER_STATS is not set
 883 # CONFIG_DEBUG_OBJECTS is not set
 884 # CONFIG_SLUB_DEBUG_ON is not set
 885 # CONFIG_SLUB_STATS is not set
 886 # CONFIG_DEBUG_RT_MUTEXES is not set
 887 # CONFIG_RT_MUTEX_TESTER is not set
 888 # CONFIG_DEBUG_SPINLOCK is not set
 889 # CONFIG_DEBUG_MUTEXES is not set
 890 # CONFIG_DEBUG_SPINLOCK_SLEEP is not set
 891 # CONFIG_DEBUG_LOCKING_API_SELFTESTS is not set
 892 # CONFIG_DEBUG_KOBJECT is not set
 893 CONFIG_DEBUG_BUGVERBOSE=y
 894 # CONFIG_DEBUG_INFO is not set
 895 # CONFIG_DEBUG_VM is not set
 896 # CONFIG_DEBUG_WRITECOUNT is not set
 897 # CONFIG_DEBUG_MEMORY_INIT is not set
 898 # CONFIG_DEBUG_LIST is not set
 899 # CONFIG_DEBUG_SG is not set
 900 # CONFIG_DEBUG_NOTIFIERS is not set
 901 # CONFIG_BOOT_PRINTK_DELAY is not set
 902 # CONFIG_RCU_TORTURE_TEST is not set
 903 # CONFIG_RCU_CPU_STALL_DETECTOR is not set
 904 # CONFIG_BACKTRACE_SELF_TEST is not set
 905 # CONFIG_DEBUG_BLOCK_EXT_DEVT is not set
 906 # CONFIG_FAULT_INJECTION is not set
 907 # CONFIG_LATENCYTOP is not set
 908 CONFIG_SYSCTL_SYSCALL_CHECK=y
 909 CONFIG_HAVE_FUNCTION_TRACER=y
 910 CONFIG_HAVE_DYNAMIC_FTRACE=y
 911 CONFIG_HAVE_FTRACE_MCOUNT_RECORD=y
 912
 913 #
 914 # Tracers
 915 #
 916 # CONFIG_FUNCTION_TRACER is not set
 917 # CONFIG_SCHED_TRACER is not set
 918 # CONFIG_CONTEXT_SWITCH_TRACER is not set
 919 # CONFIG_BOOT_TRACER is not set
 920 # CONFIG_TRACE_BRANCH_PROFILING is not set
 921 # CONFIG_STACK_TRACER is not set
 922 # CONFIG_DYNAMIC_PRINTK_DEBUG is not set
 923 # CONFIG_SAMPLES is not set
 924 CONFIG_HAVE_ARCH_KGDB=y
 925 # CONFIG_KGDB is not set
 926 CONFIG_PRINT_STACK_DEPTH=64
 927 # CONFIG_DEBUG_STACKOVERFLOW is not set
 928 # CONFIG_DEBUG_STACK_USAGE is not set
 929 # CONFIG_DEBUG_PAGEALLOC is not set
 930 # CONFIG_CODE_PATCHING_SELFTEST is not set
 931 # CONFIG_FTR_FIXUP_SELFTEST is not set
 932 # CONFIG_MSI_BITMAP_SELFTEST is not set
 933 # CONFIG_XMON is not set
 934 # CONFIG_IRQSTACKS is not set
 935 # CONFIG_VIRQ_DEBUG is not set
 936 # CONFIG_BDI_SWITCH is not set
 937 # CONFIG_PPC_EARLY_DEBUG is not set
 938
 939 #
 940 # Security options
 941 #
 942 # CONFIG_KEYS is not set
 943 # CONFIG_SECURITY is not set
 944 # CONFIG_SECURITYFS is not set
 945 # CONFIG_SECURITY_FILE_CAPABILITIES is not set
 946 CONFIG_CRYPTO=y
 947
 948 #
 949 # Crypto core or helper
 950 #
 951 # CONFIG_CRYPTO_FIPS is not set
 952 CONFIG_CRYPTO_ALGAPI=y
 953 CONFIG_CRYPTO_ALGAPI2=y
 954 CONFIG_CRYPTO_AEAD2=y
 955 CONFIG_CRYPTO_BLKCIPHER=y
 956 CONFIG_CRYPTO_BLKCIPHER2=y
 957 CONFIG_CRYPTO_HASH=y
 958 CONFIG_CRYPTO_HASH2=y
 959 CONFIG_CRYPTO_RNG2=y
 960 CONFIG_CRYPTO_MANAGER=y
 961 CONFIG_CRYPTO_MANAGER2=y
 962 # CONFIG_CRYPTO_GF128MUL is not set
 963 # CONFIG_CRYPTO_NULL is not set
 964 # CONFIG_CRYPTO_CRYPTD is not set
 965 # CONFIG_CRYPTO_AUTHENC is not set
 966 # CONFIG_CRYPTO_TEST is not set
 967
 968 #
 969 # Authenticated Encryption with Associated Data
 970 #
 971 # CONFIG_CRYPTO_CCM is not set
 972 # CONFIG_CRYPTO_GCM is not set
 973 # CONFIG_CRYPTO_SEQIV is not set
 974
 975 #
 976 # Block modes
 977 #
 978 CONFIG_CRYPTO_CBC=y
 979 # CONFIG_CRYPTO_CTR is not set
 980 # CONFIG_CRYPTO_CTS is not set
 981 CONFIG_CRYPTO_ECB=y
 982 # CONFIG_CRYPTO_LRW is not set
 983 CONFIG_CRYPTO_PCBC=y
 984 # CONFIG_CRYPTO_XTS is not set
 985
 986 #
 987 # Hash modes
 988 #
 989 # CONFIG_CRYPTO_HMAC is not set
 990 # CONFIG_CRYPTO_XCBC is not set
 991
 992 #
 993 # Digest
 994 #
 995 # CONFIG_CRYPTO_CRC32C is not set
 996 # CONFIG_CRYPTO_MD4 is not set
 997 CONFIG_CRYPTO_MD5=y
 998 # CONFIG_CRYPTO_MICHAEL_MIC is not set
 999 # CONFIG_CRYPTO_RMD128 is not set
1000 # CONFIG_CRYPTO_RMD160 is not set
1001 # CONFIG_CRYPTO_RMD256 is not set
1002 # CONFIG_CRYPTO_RMD320 is not set
1003 # CONFIG_CRYPTO_SHA1 is not set
1004 # CONFIG_CRYPTO_SHA256 is not set
1005 # CONFIG_CRYPTO_SHA512 is not set
1006 # CONFIG_CRYPTO_TGR192 is not set
1007 # CONFIG_CRYPTO_WP512 is not set
1008
1009 #
1010 # Ciphers
1011 #
1012 # CONFIG_CRYPTO_AES is not set
1013 # CONFIG_CRYPTO_ANUBIS is not set
1014 # CONFIG_CRYPTO_ARC4 is not set
1015 # CONFIG_CRYPTO_BLOWFISH is not set
1016 # CONFIG_CRYPTO_CAMELLIA is not set
1017 # CONFIG_CRYPTO_CAST5 is not set
1018 # CONFIG_CRYPTO_CAST6 is not set
1019 CONFIG_CRYPTO_DES=y
1020 # CONFIG_CRYPTO_FCRYPT is not set
1021 # CONFIG_CRYPTO_KHAZAD is not set
1022 # CONFIG_CRYPTO_SALSA20 is not set
1023 # CONFIG_CRYPTO_SEED is not set
1024 # CONFIG_CRYPTO_SERPENT is not set
1025 # CONFIG_CRYPTO_TEA is not set
1026 # CONFIG_CRYPTO_TWOFISH is not set
1027
1028 #
1029 # Compression
1030 #
1031 # CONFIG_CRYPTO_DEFLATE is not set
1032 # CONFIG_CRYPTO_LZO is not set
1033
1034 #
1035 # Random Number Generation
1036 #
1037 # CONFIG_CRYPTO_ANSI_CPRNG is not set
1038 CONFIG_CRYPTO_HW=y
1039 # CONFIG_CRYPTO_DEV_HIFN_795X is not set
1040 # CONFIG_PPC_CLOCK is not set
1041 # CONFIG_VIRTUALIZATION is not set