git.oblomov.eu Git - linux-2.6/blob - arch/powerpc/configs/44x/sequoia_defconfig

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