target/linux/x86/generic/config-default

   1 # CONFIG_104_QUAD_8 is not set
   2 # CONFIG_3C515 is not set
   3 CONFIG_ACPI=y
   4 CONFIG_ACPI_AC=y
   5 CONFIG_ACPI_BATTERY=y
   6 # CONFIG_ACPI_BGRT is not set
   7 CONFIG_ACPI_BUTTON=y
   8 # CONFIG_ACPI_CMPC is not set
   9 CONFIG_ACPI_CONTAINER=y
  10 CONFIG_ACPI_CPU_FREQ_PSS=y
  11 # CONFIG_ACPI_CUSTOM_DSDT is not set
  12 # CONFIG_ACPI_DEBUG is not set
  13 # CONFIG_ACPI_DEBUGGER is not set
  14 # CONFIG_ACPI_DOCK is not set
  15 # CONFIG_ACPI_EC_DEBUGFS is not set
  16 # CONFIG_ACPI_FAN is not set
  17 CONFIG_ACPI_HOTPLUG_CPU=y
  18 CONFIG_ACPI_HOTPLUG_IOAPIC=y
  19 # CONFIG_ACPI_I2C_OPREGION is not set
  20 CONFIG_ACPI_LEGACY_TABLES_LOOKUP=y
  21 # CONFIG_ACPI_PCI_SLOT is not set
  22 CONFIG_ACPI_PROCESSOR=y
  23 # CONFIG_ACPI_PROCESSOR_AGGREGATOR is not set
  24 CONFIG_ACPI_PROCESSOR_CSTATE=y
  25 CONFIG_ACPI_PROCESSOR_IDLE=y
  26 # CONFIG_ACPI_PROCFS_POWER is not set
  27 CONFIG_ACPI_REV_OVERRIDE_POSSIBLE=y
  28 # CONFIG_ACPI_SBS is not set
  29 CONFIG_ACPI_SYSTEM_POWER_STATES_SUPPORT=y
  30 CONFIG_ACPI_THERMAL=y
  31 CONFIG_ACPI_VIDEO=y
  32 # CONFIG_ACPI_WMI is not set
  33 CONFIG_AGP=y
  34 # CONFIG_AGP_ALI is not set
  35 # CONFIG_AGP_AMD is not set
  36 # CONFIG_AGP_AMD64 is not set
  37 # CONFIG_AGP_ATI is not set
  38 # CONFIG_AGP_EFFICEON is not set
  39 CONFIG_AGP_INTEL=y
  40 # CONFIG_AGP_NVIDIA is not set
  41 # CONFIG_AGP_SIS is not set
  42 # CONFIG_AGP_SWORKS is not set
  43 # CONFIG_AGP_VIA is not set
  44 # CONFIG_APM is not set
  45 CONFIG_ARCH_HAS_ACPI_TABLE_UPGRADE=y
  46 CONFIG_ARCH_MIGHT_HAVE_ACPI_PDC=y
  47 CONFIG_BACKLIGHT_CLASS_DEVICE=y
  48 CONFIG_BACKLIGHT_GENERIC=y
  49 CONFIG_BACKLIGHT_LCD_SUPPORT=y
  50 CONFIG_BLK_DEV_SR=y
  51 # CONFIG_BLK_DEV_SR_VENDOR is not set
  52 CONFIG_BLK_MQ_VIRTIO=y
  53 # CONFIG_BOOTPARAM_HOTPLUG_CPU0 is not set
  54 CONFIG_CONNECTOR=y
  55 # CONFIG_CPU_HOTPLUG_STATE_CONTROL is not set
  56 CONFIG_CPU_IDLE_GOV_MENU=y
  57 CONFIG_CPU_RMAP=y
  58 CONFIG_CRYPTO_AEAD=y
  59 CONFIG_CRYPTO_AEAD2=y
  60 CONFIG_CRYPTO_MANAGER=y
  61 CONFIG_CRYPTO_MANAGER2=y
  62 CONFIG_CRYPTO_NULL2=y
  63 # CONFIG_DEBUG_HOTPLUG_CPU0 is not set
  64 CONFIG_DMA_SHARED_BUFFER=y
  65 # CONFIG_DPTF_POWER is not set
  66 CONFIG_DRM=y
  67 CONFIG_DRM_AMDGPU=y
  68 # CONFIG_DRM_AMDGPU_CIK is not set
  69 # CONFIG_DRM_AMDGPU_GART_DEBUGFS is not set
  70 # CONFIG_DRM_AMDGPU_SI is not set
  71 # CONFIG_DRM_AMDGPU_USERPTR is not set
  72 # CONFIG_DRM_AMD_ACP is not set
  73 CONFIG_DRM_BOCHS=y
  74 CONFIG_DRM_BRIDGE=y
  75 CONFIG_DRM_FBDEV_EMULATION=y
  76 CONFIG_DRM_FBDEV_OVERALLOC=100
  77 # CONFIG_DRM_GMA500 is not set
  78 CONFIG_DRM_I915=y
  79 # CONFIG_DRM_I915_ALPHA_SUPPORT is not set
  80 CONFIG_DRM_I915_CAPTURE_ERROR=y
  81 CONFIG_DRM_I915_COMPRESS_ERROR=y
  82 # CONFIG_DRM_I915_DEBUG is not set
  83 # CONFIG_DRM_I915_DEBUG_VBLANK_EVADE is not set
  84 # CONFIG_DRM_I915_GVT is not set
  85 # CONFIG_DRM_I915_LOW_LEVEL_TRACEPOINTS is not set
  86 # CONFIG_DRM_I915_PRELIMINARY_HW_SUPPORT is not set
  87 # CONFIG_DRM_I915_SELFTEST is not set
  88 # CONFIG_DRM_I915_SW_FENCE_CHECK_DAG is not set
  89 # CONFIG_DRM_I915_SW_FENCE_DEBUG_OBJECTS is not set
  90 CONFIG_DRM_I915_USERPTR=y
  91 # CONFIG_DRM_I915_WERROR is not set
  92 CONFIG_DRM_KMS_FB_HELPER=y
  93 CONFIG_DRM_KMS_HELPER=y
  94 CONFIG_DRM_MIPI_DSI=y
  95 CONFIG_DRM_PANEL=y
  96 CONFIG_DRM_PANEL_BRIDGE=y
  97 CONFIG_DRM_RADEON=y
  98 # CONFIG_DRM_RADEON_USERPTR is not set
  99 CONFIG_DRM_TTM=y
 100 CONFIG_DRM_VIRTIO_GPU=y
 101 # CONFIG_DRM_VMWGFX is not set
 102 CONFIG_EARLY_PRINTK_EFI=y
 103 # CONFIG_EBC_C384_WDT is not set
 104 CONFIG_EFI=y
 105 CONFIG_EFIVAR_FS=m
 106 # CONFIG_EFI_BOOTLOADER_CONTROL is not set
 107 # CONFIG_EFI_CAPSULE_LOADER is not set
 108 # CONFIG_EFI_CAPSULE_QUIRK_QUARK_CSH is not set
 109 # CONFIG_EFI_DEV_PATH_PARSER is not set
 110 CONFIG_EFI_ESRT=y
 111 # CONFIG_EFI_FAKE_MEMMAP is not set
 112 # CONFIG_EFI_PGT_DUMP is not set
 113 CONFIG_EFI_RUNTIME_MAP=y
 114 CONFIG_EFI_RUNTIME_WRAPPERS=y
 115 CONFIG_EFI_STUB=y
 116 # CONFIG_EFI_TEST is not set
 117 CONFIG_EFI_VARS=y
 118 # CONFIG_EISA is not set
 119 # CONFIG_EL3 is not set
 120 CONFIG_FB=y
 121 CONFIG_FB_CFB_COPYAREA=y
 122 CONFIG_FB_CFB_FILLRECT=y
 123 CONFIG_FB_CFB_IMAGEBLIT=y
 124 CONFIG_FB_CMDLINE=y
 125 CONFIG_FB_DEFERRED_IO=y
 126 CONFIG_FB_EFI=y
 127 CONFIG_FB_HYPERV=y
 128 # CONFIG_FB_I810 is not set
 129 # CONFIG_FB_PROVIDE_GET_FB_UNMAPPED_AREA is not set
 130 CONFIG_FB_SYS_COPYAREA=y
 131 CONFIG_FB_SYS_FILLRECT=y
 132 CONFIG_FB_SYS_FOPS=y
 133 CONFIG_FB_SYS_IMAGEBLIT=y
 134 # CONFIG_FB_VESA is not set
 135 # CONFIG_FONTS is not set
 136 CONFIG_FONT_8x16=y
 137 CONFIG_FONT_8x8=y
 138 CONFIG_FONT_SUPPORT=y
 139 CONFIG_FRAMEBUFFER_CONSOLE=y
 140 CONFIG_FRAMEBUFFER_CONSOLE_DETECT_PRIMARY=y
 141 # CONFIG_FRAMEBUFFER_CONSOLE_ROTATION is not set
 142 CONFIG_FREEZER=y
 143 CONFIG_GENERIC_IRQ_EFFECTIVE_AFF_MASK=y
 144 CONFIG_GENERIC_IRQ_MIGRATION=y
 145 CONFIG_GENERIC_PENDING_IRQ=y
 146 CONFIG_GENERIC_PINCONF=y
 147 CONFIG_GPIOLIB=y
 148 CONFIG_GPIOLIB_IRQCHIP=y
 149 # CONFIG_GPIO_104_DIO_48E is not set
 150 # CONFIG_GPIO_104_IDIO_16 is not set
 151 # CONFIG_GPIO_104_IDI_48 is not set
 152 CONFIG_GPIO_ACPI=y
 153 CONFIG_HAVE_ACPI_APEI=y
 154 CONFIG_HAVE_ACPI_APEI_NMI=y
 155 CONFIG_HAVE_KVM_CPU_RELAX_INTERCEPT=y
 156 CONFIG_HAVE_KVM_EVENTFD=y
 157 CONFIG_HAVE_KVM_IRQCHIP=y
 158 CONFIG_HAVE_KVM_IRQFD=y
 159 CONFIG_HAVE_KVM_IRQ_BYPASS=y
 160 CONFIG_HAVE_KVM_IRQ_ROUTING=y
 161 CONFIG_HAVE_KVM_MSI=y
 162 CONFIG_HDMI=y
 163 CONFIG_HIBERNATE_CALLBACKS=y
 164 CONFIG_HID_BATTERY_STRENGTH=y
 165 CONFIG_HID_GENERIC=y
 166 CONFIG_HID_HYPERV_MOUSE=y
 167 CONFIG_HOTPLUG_CPU=y
 168 CONFIG_HOTPLUG_PCI=y
 169 CONFIG_HOTPLUG_PCI_ACPI=y
 170 # CONFIG_HOTPLUG_PCI_ACPI_IBM is not set
 171 # CONFIG_HOTPLUG_PCI_COMPAQ is not set
 172 # CONFIG_HOTPLUG_PCI_CPCI is not set
 173 # CONFIG_HOTPLUG_PCI_IBM is not set
 174 CONFIG_HOTPLUG_PCI_PCIE=y
 175 # CONFIG_HOTPLUG_PCI_SHPC is not set
 176 CONFIG_HPET=y
 177 CONFIG_HPET_MMAP=y
 178 # CONFIG_HP_ACCEL is not set
 179 CONFIG_HVC_DRIVER=y
 180 CONFIG_HVC_IRQ=y
 181 CONFIG_HVC_XEN=y
 182 CONFIG_HVC_XEN_FRONTEND=y
 183 CONFIG_HWMON=y
 184 CONFIG_HWMON_VID=y
 185 CONFIG_HW_RANDOM_VIRTIO=y
 186 CONFIG_HYPERV=y
 187 CONFIG_HYPERVISOR_GUEST=y
 188 CONFIG_HYPERV_BALLOON=y
 189 CONFIG_HYPERV_KEYBOARD=y
 190 CONFIG_HYPERV_NET=y
 191 CONFIG_HYPERV_STORAGE=y
 192 CONFIG_HYPERV_UTILS=y
 193 CONFIG_I2C=y
 194 CONFIG_I2C_ALGOBIT=y
 195 CONFIG_I2C_BOARDINFO=y
 196 CONFIG_INPUT_MOUSE=y
 197 CONFIG_INPUT_MOUSEDEV=y
 198 CONFIG_INPUT_MOUSEDEV_PSAUX=y
 199 CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024
 200 CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768
 201 CONFIG_INPUT_XEN_KBDDEV_FRONTEND=y
 202 CONFIG_INTEL_GTT=y
 203 CONFIG_INTEL_IDLE=y
 204 # CONFIG_INTEL_INT0002_VGPIO is not set
 205 # CONFIG_INTEL_IPS is not set
 206 # CONFIG_INTEL_MENLOW is not set
 207 CONFIG_INTEL_PCH_THERMAL=y
 208 # CONFIG_INTEL_PMC_IPC is not set
 209 CONFIG_INTEL_SOC_DTS_IOSF_CORE=y
 210 CONFIG_INTEL_SOC_DTS_THERMAL=y
 211 # CONFIG_INTEL_SOC_PMIC_CHTWC is not set
 212 CONFIG_INTERVAL_TREE=y
 213 CONFIG_IOSF_MBI=y
 214 # CONFIG_IOSF_MBI_DEBUG is not set
 215 CONFIG_IRQ_BYPASS_MANAGER=y
 216 CONFIG_ISA=y
 217 CONFIG_ISAPNP=y
 218 CONFIG_ISA_BUS_API=y
 219 # CONFIG_ISCSI_IBFT_FIND is not set
 220 CONFIG_ISO9660_FS=y
 221 # CONFIG_JOLIET is not set
 222 CONFIG_KVM=y
 223 CONFIG_KVM_AMD=y
 224 CONFIG_KVM_ASYNC_PF=y
 225 # CONFIG_KVM_DEBUG_FS is not set
 226 CONFIG_KVM_GENERIC_DIRTYLOG_READ_PROTECT=y
 227 CONFIG_KVM_GUEST=y
 228 CONFIG_KVM_INTEL=y
 229 CONFIG_KVM_MMIO=y
 230 CONFIG_KVM_VFIO=y
 231 # CONFIG_LANCE is not set
 232 # CONFIG_LCD_CLASS_DEVICE is not set
 233 # CONFIG_LGUEST_GUEST is not set
 234 CONFIG_LOCK_SPIN_ON_OWNER=y
 235 # CONFIG_M586MMX is not set
 236 # CONFIG_MDA_CONSOLE is not set
 237 CONFIG_MEMORY_BALLOON=y
 238 CONFIG_MFD_CORE=y
 239 CONFIG_MFD_INTEL_LPSS=y
 240 CONFIG_MFD_INTEL_LPSS_ACPI=y
 241 # CONFIG_MFD_INTEL_QUARK_I2C_GPIO is not set
 242 # CONFIG_MIXCOMWD is not set
 243 CONFIG_MMC=y
 244 CONFIG_MMC_BLOCK=y
 245 CONFIG_MMC_RICOH_MMC=y
 246 CONFIG_MMC_SDHCI=y
 247 CONFIG_MMC_SDHCI_PCI=y
 248 # CONFIG_MMC_SDHCI_PLTFM is not set
 249 # CONFIG_MMC_TIFM_SD is not set
 250 # CONFIG_MMC_WBSD is not set
 251 CONFIG_MMU_NOTIFIER=y
 252 # CONFIG_MOUSE_BCM5974 is not set
 253 # CONFIG_MOUSE_CYAPA is not set
 254 CONFIG_MOUSE_PS2=y
 255 CONFIG_MOUSE_PS2_ALPS=y
 256 # CONFIG_MOUSE_PS2_BYD is not set
 257 # CONFIG_MOUSE_PS2_CYPRESS is not set
 258 # CONFIG_MOUSE_PS2_ELANTECH is not set
 259 CONFIG_MOUSE_PS2_LIFEBOOK=y
 260 CONFIG_MOUSE_PS2_LOGIPS2PP=y
 261 CONFIG_MOUSE_PS2_SMBUS=y
 262 CONFIG_MOUSE_PS2_SYNAPTICS=y
 263 CONFIG_MOUSE_PS2_SYNAPTICS_SMBUS=y
 264 # CONFIG_MOUSE_PS2_TOUCHKIT is not set
 265 CONFIG_MOUSE_PS2_TRACKPOINT=y
 266 # CONFIG_MOUSE_PS2_VMMOUSE is not set
 267 # CONFIG_MOUSE_SERIAL is not set
 268 # CONFIG_MOUSE_VSXXXAA is not set
 269 CONFIG_MPENTIUM4=y
 270 CONFIG_MUTEX_SPIN_ON_OWNER=y
 271 CONFIG_NET_FLOW_LIMIT=y
 272 CONFIG_NO_HZ=y
 273 CONFIG_NR_CPUS=4
 274 CONFIG_PADATA=y
 275 CONFIG_PARAVIRT=y
 276 CONFIG_PARAVIRT_CLOCK=y
 277 # CONFIG_PARAVIRT_DEBUG is not set
 278 CONFIG_PARAVIRT_SPINLOCKS=y
 279 CONFIG_PATA_AMD=y
 280 CONFIG_PATA_ATIIXP=y
 281 CONFIG_PATA_MPIIX=y
 282 CONFIG_PATA_OLDPIIX=y
 283 CONFIG_PATA_PLATFORM=y
 284 CONFIG_PATA_SC1200=y
 285 CONFIG_PATA_VIA=y
 286 CONFIG_PCIEAER=y
 287 CONFIG_PCIEPORTBUS=y
 288 CONFIG_PCIE_PME=y
 289 CONFIG_PCI_MMCONFIG=y
 290 CONFIG_PCI_XEN=y
 291 # CONFIG_PCWATCHDOG is not set
 292 CONFIG_PINCTRL=y
 293 CONFIG_PINCTRL_BAYTRAIL=y
 294 CONFIG_PINCTRL_BROXTON=y
 295 CONFIG_PINCTRL_CANNONLAKE=y
 296 CONFIG_PINCTRL_CHERRYVIEW=y
 297 CONFIG_PINCTRL_DENVERTON=y
 298 CONFIG_PINCTRL_GEMINILAKE=y
 299 CONFIG_PINCTRL_INTEL=y
 300 # CONFIG_PINCTRL_LEWISBURG is not set
 301 CONFIG_PINCTRL_SUNRISEPOINT=y
 302 CONFIG_PM=y
 303 # CONFIG_PMIC_OPREGION is not set
 304 CONFIG_PM_CLK=y
 305 # CONFIG_PM_DEBUG is not set
 306 CONFIG_PM_SLEEP=y
 307 CONFIG_PM_SLEEP_SMP=y
 308 CONFIG_PNP=y
 309 CONFIG_PNPACPI=y
 310 # CONFIG_PNPBIOS is not set
 311 CONFIG_PNP_DEBUG_MESSAGES=y
 312 CONFIG_PREEMPT_NOTIFIERS=y
 313 CONFIG_PROC_EVENTS=y
 314 # CONFIG_PVPANIC is not set
 315 CONFIG_QUEUED_RWLOCKS=y
 316 CONFIG_QUEUED_SPINLOCKS=y
 317 # CONFIG_RANDOMIZE_BASE is not set
 318 CONFIG_RAS=y
 319 CONFIG_RCU_NEED_SEGCBLIST=y
 320 CONFIG_RCU_STALL_COMMON=y
 321 CONFIG_REGMAP=y
 322 CONFIG_REGMAP_I2C=y
 323 # CONFIG_RELAY is not set
 324 CONFIG_RELOCATABLE=y
 325 CONFIG_RESET_ATTACK_MITIGATION=y
 326 CONFIG_RFS_ACCEL=y
 327 CONFIG_RPS=y
 328 CONFIG_RTC_I2C_AND_SPI=y
 329 CONFIG_RWSEM_SPIN_ON_OWNER=y
 330 # CONFIG_SAMSUNG_Q10 is not set
 331 CONFIG_SATA_AHCI=y
 332 CONFIG_SATA_VIA=y
 333 CONFIG_SCHED_INFO=y
 334 CONFIG_SCSI_VIRTIO=y
 335 CONFIG_SENSORS_CORETEMP=y
 336 CONFIG_SENSORS_FAM15H_POWER=y
 337 CONFIG_SENSORS_I5500=y
 338 CONFIG_SENSORS_K10TEMP=y
 339 CONFIG_SENSORS_K8TEMP=y
 340 CONFIG_SENSORS_VIA_CPUTEMP=y
 341 CONFIG_SERIAL_8250_PNP=y
 342 CONFIG_SMP=y
 343 # CONFIG_SURFACE_PRO3_BUTTON is not set
 344 CONFIG_SWIOTLB_XEN=y
 345 # CONFIG_SW_SYNC is not set
 346 # CONFIG_SYNC_FILE is not set
 347 CONFIG_SYS_HYPERVISOR=y
 348 CONFIG_TASKSTATS=y
 349 CONFIG_TASK_DELAY_ACCT=y
 350 CONFIG_THERMAL_GOV_USER_SPACE=y
 351 CONFIG_THERMAL_HWMON=y
 352 CONFIG_THERMAL_WRITABLE_TRIPS=y
 353 # CONFIG_TOSHIBA_BT_RFKILL is not set
 354 CONFIG_TREE_RCU=y
 355 CONFIG_TREE_SRCU=y
 356 CONFIG_UCS2_STRING=y
 357 CONFIG_USB_STORAGE=y
 358 CONFIG_USER_RETURN_NOTIFIER=y
 359 CONFIG_VGACON_SOFT_SCROLLBACK=y
 360 # CONFIG_VGACON_SOFT_SCROLLBACK_PERSISTENT_ENABLE_BY_DEFAULT is not set
 361 CONFIG_VGACON_SOFT_SCROLLBACK_SIZE=64
 362 CONFIG_VHOST=y
 363 CONFIG_VHOST_NET=y
 364 CONFIG_VIRTIO=y
 365 CONFIG_VIRTIO_BALLOON=y
 366 CONFIG_VIRTIO_BLK=y
 367 CONFIG_VIRTIO_CONSOLE=y
 368 CONFIG_VIRTIO_INPUT=y
 369 CONFIG_VIRTIO_MMIO=y
 370 # CONFIG_VIRTIO_MMIO_CMDLINE_DEVICES is not set
 371 CONFIG_VIRTIO_NET=y
 372 CONFIG_VIRTIO_PCI=y
 373 CONFIG_VIRTIO_PCI_LEGACY=y
 374 CONFIG_VIRTUALIZATION=y
 375 CONFIG_VT_CONSOLE_SLEEP=y
 376 # CONFIG_WDT is not set
 377 CONFIG_X86_32_SMP=y
 378 CONFIG_X86_ACPI_CPUFREQ=y
 379 # CONFIG_X86_ACPI_CPUFREQ_CPB is not set
 380 CONFIG_X86_AMD_FREQ_SENSITIVITY=y
 381 # CONFIG_X86_AMD_PLATFORM_DEVICE is not set
 382 # CONFIG_X86_BIGSMP is not set
 383 CONFIG_X86_CMOV=y
 384 CONFIG_X86_CPUID=y
 385 CONFIG_X86_DEBUGCTLMSR=y
 386 # CONFIG_X86_E_POWERSAVER is not set
 387 CONFIG_X86_INTEL_LPSS=y
 388 CONFIG_X86_INTEL_PSTATE=y
 389 CONFIG_X86_INTERNODE_CACHE_SHIFT=7
 390 CONFIG_X86_L1_CACHE_SHIFT=7
 391 # CONFIG_X86_LONGHAUL is not set
 392 CONFIG_X86_NEED_RELOCS=y
 393 # CONFIG_X86_PCC_CPUFREQ is not set
 394 CONFIG_X86_PKG_TEMP_THERMAL=y
 395 # CONFIG_X86_PMEM_LEGACY is not set
 396 CONFIG_X86_PM_TIMER=y
 397 # CONFIG_X86_POWERNOW_K8 is not set
 398 CONFIG_X86_USE_PPRO_CHECKSUM=y
 399 CONFIG_XEN=y
 400 CONFIG_XENFS=y
 401 CONFIG_XEN_ACPI=y
 402 CONFIG_XEN_ACPI_PROCESSOR=y
 403 CONFIG_XEN_AUTO_XLATE=y
 404 # CONFIG_XEN_BACKEND is not set
 405 CONFIG_XEN_BALLOON=y
 406 CONFIG_XEN_BLKDEV_FRONTEND=y
 407 CONFIG_XEN_COMPAT_XENFS=y
 408 CONFIG_XEN_DEBUG_FS=y
 409 CONFIG_XEN_DEV_EVTCHN=y
 410 CONFIG_XEN_DOM0=y
 411 CONFIG_XEN_FBDEV_FRONTEND=y
 412 CONFIG_XEN_GNTDEV=y
 413 CONFIG_XEN_GRANT_DEV_ALLOC=y
 414 CONFIG_XEN_HAVE_PVMMU=y
 415 CONFIG_XEN_HAVE_VPMU=y
 416 CONFIG_XEN_NETDEV_FRONTEND=y
 417 CONFIG_XEN_PCIDEV_FRONTEND=y
 418 CONFIG_XEN_PRIVCMD=y
 419 CONFIG_XEN_PV=y
 420 CONFIG_XEN_PVH=y
 421 CONFIG_XEN_PVHVM=y
 422 CONFIG_XEN_PVHVM_SMP=y
 423 CONFIG_XEN_PV_SMP=y
 424 CONFIG_XEN_SAVE_RESTORE=y
 425 CONFIG_XEN_SCRUB_PAGES=y
 426 CONFIG_XEN_SCSI_FRONTEND=y
 427 CONFIG_XEN_SYMS=y
 428 CONFIG_XEN_SYS_HYPERVISOR=y
 429 CONFIG_XEN_WDT=y
 430 CONFIG_XEN_XENBUS_FRONTEND=y
 431 CONFIG_XPS=y
 432 CONFIG_ZLIB_DEFLATE=y