target/linux/x86/64/config-4.19

   1 CONFIG_64BIT=y
   2 CONFIG_ACPI=y
   3 CONFIG_ACPI_AC=y
   4 CONFIG_ACPI_BATTERY=y
   5 # CONFIG_ACPI_BGRT is not set
   6 CONFIG_ACPI_BUTTON=y
   7 # CONFIG_ACPI_CMPC is not set
   8 CONFIG_ACPI_CONTAINER=y
   9 CONFIG_ACPI_CPPC_LIB=y
  10 CONFIG_ACPI_CPU_FREQ_PSS=y
  11 # CONFIG_ACPI_DEBUG is not set
  12 # CONFIG_ACPI_DEBUGGER is not set
  13 # CONFIG_ACPI_DOCK is not set
  14 # CONFIG_ACPI_EC_DEBUGFS is not set
  15 CONFIG_ACPI_FAN=y
  16 CONFIG_ACPI_HOTPLUG_CPU=y
  17 CONFIG_ACPI_HOTPLUG_IOAPIC=y
  18 # CONFIG_ACPI_I2C_OPREGION is not set
  19 CONFIG_ACPI_LEGACY_TABLES_LOOKUP=y
  20 CONFIG_ACPI_LPIT=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_SPCR_TABLE=y
  30 CONFIG_ACPI_SYSTEM_POWER_STATES_SUPPORT=y
  31 # CONFIG_ACPI_TAD is not set
  32 CONFIG_ACPI_THERMAL=y
  33 # CONFIG_ACPI_WMI is not set
  34 CONFIG_ARCH_DEFCONFIG="arch/x86/configs/x86_64_defconfig"
  35 CONFIG_ARCH_DMA_ADDR_T_64BIT=y
  36 CONFIG_ARCH_ENABLE_SPLIT_PMD_PTLOCK=y
  37 CONFIG_ARCH_HAS_ACPI_TABLE_UPGRADE=y
  38 CONFIG_ARCH_HAS_ADD_PAGES=y
  39 CONFIG_ARCH_HAS_KCOV=y
  40 CONFIG_ARCH_HAS_PMEM_API=y
  41 CONFIG_ARCH_HAS_SYSCALL_WRAPPER=y
  42 CONFIG_ARCH_HAS_UACCESS_FLUSHCACHE=y
  43 CONFIG_ARCH_HAS_UACCESS_MCSAFE=y
  44 CONFIG_ARCH_HAS_ZONE_DEVICE=y
  45 CONFIG_ARCH_MIGHT_HAVE_ACPI_PDC=y
  46 CONFIG_ARCH_MMAP_RND_BITS=28
  47 CONFIG_ARCH_MMAP_RND_BITS_MAX=32
  48 CONFIG_ARCH_MMAP_RND_BITS_MIN=28
  49 CONFIG_ARCH_SPARSEMEM_DEFAULT=y
  50 CONFIG_ARCH_SUPPORTS_INT128=y
  51 CONFIG_ARCH_SUPPORTS_NUMA_BALANCING=y
  52 CONFIG_ARCH_USE_CMPXCHG_LOCKREF=y
  53 CONFIG_ARCH_WANTS_THP_SWAP=y
  54 CONFIG_AUDIT_ARCH=y
  55 CONFIG_BACKLIGHT_CLASS_DEVICE=y
  56 CONFIG_BACKLIGHT_GENERIC=y
  57 CONFIG_BACKLIGHT_LCD_SUPPORT=y
  58 CONFIG_BALLOON_COMPACTION=y
  59 CONFIG_BLK_DEV_INTEGRITY=y
  60 CONFIG_BLK_MQ_VIRTIO=y
  61 # CONFIG_BOOTPARAM_HOTPLUG_CPU0 is not set
  62 CONFIG_BTT=y
  63 CONFIG_CALGARY_IOMMU=y
  64 CONFIG_CALGARY_IOMMU_ENABLED_BY_DEFAULT=y
  65 CONFIG_CONNECTOR=y
  66 # CONFIG_CPU_HOTPLUG_STATE_CONTROL is not set
  67 CONFIG_CPU_RMAP=y
  68 CONFIG_CRC_T10DIF=y
  69 CONFIG_CRYPTO_AEAD=y
  70 CONFIG_CRYPTO_AEAD2=y
  71 CONFIG_CRYPTO_AES_NI_INTEL=y
  72 CONFIG_CRYPTO_AES_X86_64=y
  73 # CONFIG_CRYPTO_BLOWFISH_X86_64 is not set
  74 # CONFIG_CRYPTO_CAMELLIA_AESNI_AVX2_X86_64 is not set
  75 # CONFIG_CRYPTO_CAMELLIA_AESNI_AVX_X86_64 is not set
  76 # CONFIG_CRYPTO_CAMELLIA_X86_64 is not set
  77 # CONFIG_CRYPTO_CAST5_AVX_X86_64 is not set
  78 # CONFIG_CRYPTO_CAST6_AVX_X86_64 is not set
  79 # CONFIG_CRYPTO_CHACHA20_X86_64 is not set
  80 CONFIG_CRYPTO_CRCT10DIF=y
  81 # CONFIG_CRYPTO_CRCT10DIF_PCLMUL is not set
  82 CONFIG_CRYPTO_CRYPTD=y
  83 # CONFIG_CRYPTO_DES3_EDE_X86_64 is not set
  84 CONFIG_CRYPTO_ECB=y
  85 CONFIG_CRYPTO_GF128MUL=y
  86 CONFIG_CRYPTO_GLUE_HELPER_X86=y
  87 CONFIG_CRYPTO_LRW=y
  88 CONFIG_CRYPTO_MANAGER=y
  89 CONFIG_CRYPTO_MANAGER2=y
  90 CONFIG_CRYPTO_NULL2=y
  91 # CONFIG_CRYPTO_POLY1305_X86_64 is not set
  92 # CONFIG_CRYPTO_SERPENT_AVX2_X86_64 is not set
  93 # CONFIG_CRYPTO_SERPENT_AVX_X86_64 is not set
  94 # CONFIG_CRYPTO_SERPENT_SSE2_X86_64 is not set
  95 # CONFIG_CRYPTO_SHA1_MB is not set
  96 # CONFIG_CRYPTO_SHA1_SSSE3 is not set
  97 # CONFIG_CRYPTO_SHA256_MB is not set
  98 # CONFIG_CRYPTO_SHA256_SSSE3 is not set
  99 # CONFIG_CRYPTO_SHA512_MB is not set
 100 # CONFIG_CRYPTO_SHA512_SSSE3 is not set
 101 CONFIG_CRYPTO_SIMD=y
 102 # CONFIG_CRYPTO_TWOFISH_AVX_X86_64 is not set
 103 # CONFIG_CRYPTO_TWOFISH_X86_64 is not set
 104 # CONFIG_CRYPTO_TWOFISH_X86_64_3WAY is not set
 105 CONFIG_CRYPTO_XTS=y
 106 # CONFIG_DEBUG_HOTPLUG_CPU0 is not set
 107 # CONFIG_DPTF_POWER is not set
 108 CONFIG_DRM_PANEL_ORIENTATION_QUIRKS=y
 109 # CONFIG_EARLY_PRINTK_EFI is not set
 110 CONFIG_EFI=y
 111 CONFIG_EFIVAR_FS=m
 112 # CONFIG_EFI_CAPSULE_LOADER is not set
 113 CONFIG_EFI_ESRT=y
 114 # CONFIG_EFI_FAKE_MEMMAP is not set
 115 # CONFIG_EFI_MIXED is not set
 116 # CONFIG_EFI_PGT_DUMP is not set
 117 CONFIG_EFI_RUNTIME_MAP=y
 118 CONFIG_EFI_RUNTIME_WRAPPERS=y
 119 CONFIG_EFI_STUB=y
 120 # CONFIG_EFI_TEST is not set
 121 # CONFIG_EFI_VARS is not set
 122 CONFIG_FAILOVER=y
 123 CONFIG_FB=y
 124 CONFIG_FB_CFB_COPYAREA=y
 125 CONFIG_FB_CFB_FILLRECT=y
 126 CONFIG_FB_CFB_IMAGEBLIT=y
 127 CONFIG_FB_CMDLINE=y
 128 CONFIG_FB_DEFERRED_IO=y
 129 CONFIG_FB_EFI=y
 130 CONFIG_FB_HYPERV=y
 131 CONFIG_FB_MODE_HELPERS=y
 132 CONFIG_FB_SIMPLE=y
 133 CONFIG_FB_SYS_COPYAREA=y
 134 CONFIG_FB_SYS_FILLRECT=y
 135 CONFIG_FB_SYS_FOPS=y
 136 CONFIG_FB_SYS_IMAGEBLIT=y
 137 CONFIG_FB_TILEBLITTING=y
 138 # CONFIG_FB_VESA is not set
 139 # CONFIG_FONTS is not set
 140 CONFIG_FONT_8x16=y
 141 CONFIG_FONT_8x8=y
 142 CONFIG_FONT_SUPPORT=y
 143 CONFIG_FRAMEBUFFER_CONSOLE=y
 144 # CONFIG_FRAMEBUFFER_CONSOLE_DETECT_PRIMARY is not set
 145 # CONFIG_FRAMEBUFFER_CONSOLE_ROTATION is not set
 146 CONFIG_FREEZER=y
 147 CONFIG_GART_IOMMU=y
 148 CONFIG_GENERIC_BUG_RELATIVE_POINTERS=y
 149 CONFIG_GENERIC_CPU=y
 150 CONFIG_GENERIC_IRQ_EFFECTIVE_AFF_MASK=y
 151 CONFIG_GENERIC_IRQ_MIGRATION=y
 152 CONFIG_GENERIC_PENDING_IRQ=y
 153 CONFIG_GPIOLIB=y
 154 CONFIG_GPIOLIB_IRQCHIP=y
 155 CONFIG_GPIO_ACPI=y
 156 CONFIG_GPIO_ICH=y
 157 CONFIG_GPIO_IT87=y
 158 CONFIG_GPIO_LYNXPOINT=y
 159 CONFIG_GPIO_SCH=y
 160 CONFIG_GPIO_SYSFS=y
 161 CONFIG_HARDLOCKUP_CHECK_TIMESTAMP=y
 162 CONFIG_HAVE_ACPI_APEI=y
 163 CONFIG_HAVE_ACPI_APEI_NMI=y
 164 CONFIG_HAVE_ARCH_HUGE_VMAP=y
 165 CONFIG_HAVE_ARCH_KASAN=y
 166 CONFIG_HAVE_ARCH_SOFT_DIRTY=y
 167 CONFIG_HAVE_ARCH_TRANSPARENT_HUGEPAGE_PUD=y
 168 CONFIG_HAVE_ARCH_VMAP_STACK=y
 169 CONFIG_HAVE_CONTEXT_TRACKING=y
 170 CONFIG_HAVE_FENTRY=y
 171 CONFIG_HAVE_IRQ_EXIT_ON_IRQ_STACK=y
 172 CONFIG_HAVE_LIVEPATCH=y
 173 CONFIG_HAVE_MEMORY_PRESENT=y
 174 CONFIG_HAVE_RCU_TABLE_FREE=y
 175 CONFIG_HAVE_RCU_TABLE_INVALIDATE=y
 176 CONFIG_HAVE_RELIABLE_STACKTRACE=y
 177 CONFIG_HAVE_STACK_VALIDATION=y
 178 CONFIG_HAVE_VIRT_CPU_ACCOUNTING_GEN=y
 179 CONFIG_HIBERNATE_CALLBACKS=y
 180 CONFIG_HID_BATTERY_STRENGTH=y
 181 CONFIG_HID_GENERIC=y
 182 CONFIG_HID_HYPERV_MOUSE=y
 183 CONFIG_HOTPLUG_CPU=y
 184 CONFIG_HOTPLUG_PCI=y
 185 CONFIG_HOTPLUG_PCI_ACPI=y
 186 # CONFIG_HOTPLUG_PCI_ACPI_IBM is not set
 187 # CONFIG_HOTPLUG_PCI_CPCI is not set
 188 # CONFIG_HOTPLUG_PCI_PCIE is not set
 189 # CONFIG_HOTPLUG_PCI_SHPC is not set
 190 CONFIG_HOTPLUG_SMT=y
 191 CONFIG_HPET=y
 192 CONFIG_HPET_MMAP=y
 193 # CONFIG_HP_ACCEL is not set
 194 CONFIG_HVC_DRIVER=y
 195 CONFIG_HVC_IRQ=y
 196 CONFIG_HVC_XEN=y
 197 CONFIG_HVC_XEN_FRONTEND=y
 198 CONFIG_HWMON=y
 199 CONFIG_HWMON_VID=y
 200 CONFIG_HW_RANDOM_AMD=y
 201 CONFIG_HW_RANDOM_INTEL=y
 202 CONFIG_HW_RANDOM_VIRTIO=y
 203 CONFIG_HYPERV=y
 204 CONFIG_HYPERVISOR_GUEST=y
 205 CONFIG_HYPERV_BALLOON=y
 206 CONFIG_HYPERV_KEYBOARD=y
 207 CONFIG_HYPERV_NET=y
 208 CONFIG_HYPERV_STORAGE=y
 209 CONFIG_HYPERV_TSCPAGE=y
 210 CONFIG_HYPERV_UTILS=y
 211 # CONFIG_HYPERV_VSOCKETS is not set
 212 CONFIG_I2C=y
 213 CONFIG_I2C_BOARDINFO=y
 214 # CONFIG_I2C_MULTI_INSTANTIATE is not set
 215 # CONFIG_IA32_EMULATION is not set
 216 CONFIG_ILLEGAL_POINTER_VALUE=0xdead000000000000
 217 CONFIG_INPUT_XEN_KBDDEV_FRONTEND=y
 218 CONFIG_INTEL_IDLE=y
 219 # CONFIG_INTEL_INT0002_VGPIO is not set
 220 # CONFIG_INTEL_IPS is not set
 221 # CONFIG_INTEL_MENLOW is not set
 222 # CONFIG_INTEL_MIC_BUS is not set
 223 CONFIG_INTEL_PCH_THERMAL=y
 224 # CONFIG_INTEL_PMC_IPC is not set
 225 CONFIG_INTEL_SOC_DTS_IOSF_CORE=y
 226 CONFIG_INTEL_SOC_DTS_THERMAL=y
 227 # CONFIG_INTEL_TURBO_MAX_3 is not set
 228 # CONFIG_IOMMU_DEBUG is not set
 229 CONFIG_IOMMU_HELPER=y
 230 CONFIG_IOSF_MBI=y
 231 # CONFIG_IOSF_MBI_DEBUG is not set
 232 # CONFIG_ISCSI_IBFT_FIND is not set
 233 CONFIG_KALLSYMS_ABSOLUTE_PERCPU=y
 234 # CONFIG_KVM_DEBUG_FS is not set
 235 CONFIG_KVM_GUEST=y
 236 # CONFIG_LCD_CLASS_DEVICE is not set
 237 CONFIG_LEDS_GPIO=y
 238 # CONFIG_LEGACY_VSYSCALL_EMULATE is not set
 239 CONFIG_LEGACY_VSYSCALL_NONE=y
 240 CONFIG_LIBNVDIMM=y
 241 CONFIG_LOCK_SPIN_ON_OWNER=y
 242 CONFIG_LPC_ICH=y
 243 CONFIG_LPC_SCH=y
 244 CONFIG_MAILBOX=y
 245 # CONFIG_MAXSMP is not set
 246 CONFIG_MEMORY_BALLOON=y
 247 # CONFIG_MEMORY_HOTPLUG is not set
 248 CONFIG_MFD_CORE=y
 249 # CONFIG_MFD_INTEL_LPSS_ACPI is not set
 250 CONFIG_MMC=y
 251 CONFIG_MMC_BLOCK=y
 252 CONFIG_MMC_CQHCI=y
 253 CONFIG_MMC_RICOH_MMC=y
 254 CONFIG_MMC_SDHCI=y
 255 CONFIG_MMC_SDHCI_PCI=y
 256 # CONFIG_MMC_SDHCI_PLTFM is not set
 257 # CONFIG_MMC_TIFM_SD is not set
 258 # CONFIG_MMC_WBSD is not set
 259 CONFIG_MMU_NOTIFIER=y
 260 CONFIG_MODULES_USE_ELF_RELA=y
 261 # CONFIG_MPSC is not set
 262 CONFIG_MUTEX_SPIN_ON_OWNER=y
 263 CONFIG_ND_BLK=y
 264 CONFIG_ND_BTT=y
 265 CONFIG_ND_CLAIM=y
 266 CONFIG_NEED_DMA_MAP_STATE=y
 267 CONFIG_NET_FAILOVER=y
 268 CONFIG_NET_FLOW_LIMIT=y
 269 CONFIG_NR_CPUS=8
 270 CONFIG_NR_CPUS_DEFAULT=64
 271 CONFIG_NR_CPUS_RANGE_BEGIN=2
 272 CONFIG_NR_CPUS_RANGE_END=512
 273 # CONFIG_NUMA is not set
 274 CONFIG_OUTPUT_FORMAT="elf64-x86-64"
 275 CONFIG_PADATA=y
 276 CONFIG_PAGE_TABLE_ISOLATION=y
 277 CONFIG_PARAVIRT=y
 278 CONFIG_PARAVIRT_CLOCK=y
 279 # CONFIG_PARAVIRT_DEBUG is not set
 280 CONFIG_PARAVIRT_SPINLOCKS=y
 281 CONFIG_PATA_AMD=y
 282 CONFIG_PATA_ATIIXP=y
 283 CONFIG_PATA_MPIIX=y
 284 CONFIG_PATA_OLDPIIX=y
 285 CONFIG_PATA_PLATFORM=y
 286 CONFIG_PATA_VIA=y
 287 CONFIG_PCC=y
 288 CONFIG_PCIEAER=y
 289 CONFIG_PCIEPORTBUS=y
 290 CONFIG_PCIE_PME=y
 291 CONFIG_PCI_HYPERV=y
 292 # CONFIG_PCI_MMCONFIG is not set
 293 CONFIG_PCI_XEN=y
 294 CONFIG_PGTABLE_LEVELS=4
 295 CONFIG_PHYSICAL_ALIGN=0x1000000
 296 CONFIG_PHYS_ADDR_T_64BIT=y
 297 CONFIG_PINCTRL=y
 298 # CONFIG_PINCTRL_BAYTRAIL is not set
 299 # CONFIG_PINCTRL_BROXTON is not set
 300 # CONFIG_PINCTRL_CANNONLAKE is not set
 301 # CONFIG_PINCTRL_CHERRYVIEW is not set
 302 # CONFIG_PINCTRL_DENVERTON is not set
 303 # CONFIG_PINCTRL_GEMINILAKE is not set
 304 # CONFIG_PINCTRL_LEWISBURG is not set
 305 # CONFIG_PINCTRL_SUNRISEPOINT is not set
 306 CONFIG_PM=y
 307 # CONFIG_PMIC_OPREGION is not set
 308 CONFIG_PM_CLK=y
 309 # CONFIG_PM_DEBUG is not set
 310 CONFIG_PM_SLEEP=y
 311 CONFIG_PM_SLEEP_SMP=y
 312 CONFIG_PNP=y
 313 CONFIG_PNPACPI=y
 314 CONFIG_PNP_DEBUG_MESSAGES=y
 315 CONFIG_PROC_EVENTS=y
 316 # CONFIG_PVPANIC is not set
 317 CONFIG_QUEUED_RWLOCKS=y
 318 CONFIG_QUEUED_SPINLOCKS=y
 319 # CONFIG_RANDOMIZE_BASE is not set
 320 CONFIG_RAS=y
 321 CONFIG_RCU_NEED_SEGCBLIST=y
 322 CONFIG_RCU_STALL_COMMON=y
 323 CONFIG_REGMAP=y
 324 CONFIG_REGMAP_I2C=y
 325 CONFIG_RELOCATABLE=y
 326 CONFIG_RESET_ATTACK_MITIGATION=y
 327 CONFIG_RFS_ACCEL=y
 328 CONFIG_RPS=y
 329 CONFIG_RTC_I2C_AND_SPI=y
 330 CONFIG_RWSEM_SPIN_ON_OWNER=y
 331 # CONFIG_SAMSUNG_Q10 is not set
 332 CONFIG_SATA_AHCI=y
 333 CONFIG_SCHED_MC=y
 334 CONFIG_SCHED_MC_PRIO=y
 335 CONFIG_SCHED_SMT=y
 336 # CONFIG_SCIF_BUS is not set
 337 CONFIG_SCSI_VIRTIO=y
 338 CONFIG_SENSORS_CORETEMP=y
 339 CONFIG_SENSORS_FAM15H_POWER=y
 340 CONFIG_SENSORS_I5500=y
 341 CONFIG_SENSORS_K10TEMP=y
 342 CONFIG_SENSORS_K8TEMP=y
 343 CONFIG_SENSORS_VIA_CPUTEMP=y
 344 CONFIG_SERIAL_8250_PNP=y
 345 CONFIG_SMP=y
 346 CONFIG_SPARSEMEM=y
 347 CONFIG_SPARSEMEM_EXTREME=y
 348 CONFIG_SPARSEMEM_MANUAL=y
 349 # CONFIG_SPARSEMEM_VMEMMAP is not set
 350 CONFIG_SPARSEMEM_VMEMMAP_ENABLE=y
 351 CONFIG_STACK_VALIDATION=y
 352 # CONFIG_SURFACE_PRO3_BUTTON is not set
 353 CONFIG_SWIOTLB=y
 354 CONFIG_SWIOTLB_XEN=y
 355 CONFIG_SYS_HYPERVISOR=y
 356 CONFIG_THERMAL_GOV_USER_SPACE=y
 357 CONFIG_THERMAL_HWMON=y
 358 CONFIG_THERMAL_WRITABLE_TRIPS=y
 359 # CONFIG_TOSHIBA_BT_RFKILL is not set
 360 CONFIG_TREE_RCU=y
 361 CONFIG_TREE_SRCU=y
 362 CONFIG_UCS2_STRING=y
 363 # CONFIG_UNWINDER_ORC is not set
 364 CONFIG_USB_STORAGE=y
 365 CONFIG_VGACON_SOFT_SCROLLBACK=y
 366 # CONFIG_VGACON_SOFT_SCROLLBACK_PERSISTENT_ENABLE_BY_DEFAULT is not set
 367 CONFIG_VGACON_SOFT_SCROLLBACK_SIZE=64
 368 CONFIG_VIRTIO=y
 369 CONFIG_VIRTIO_BALLOON=y
 370 CONFIG_VIRTIO_BLK=y
 371 CONFIG_VIRTIO_CONSOLE=y
 372 CONFIG_VIRTIO_MMIO=y
 373 # CONFIG_VIRTIO_MMIO_CMDLINE_DEVICES is not set
 374 CONFIG_VIRTIO_NET=y
 375 CONFIG_VIRTIO_PCI=y
 376 CONFIG_VIRTIO_PCI_LEGACY=y
 377 # CONFIG_VIRTIO_VSOCKETS is not set
 378 CONFIG_VIRT_DRIVERS=y
 379 CONFIG_VMAP_STACK=y
 380 # CONFIG_VMD is not set
 381 CONFIG_VMWARE_BALLOON=y
 382 CONFIG_VMWARE_PVSCSI=y
 383 CONFIG_VMWARE_VMCI=y
 384 CONFIG_VMWARE_VMCI_VSOCKETS=y
 385 CONFIG_VMXNET3=y
 386 CONFIG_VSOCKETS=y
 387 CONFIG_VT_CONSOLE_SLEEP=y
 388 CONFIG_WATCHDOG_CORE=y
 389 # CONFIG_X86_5LEVEL is not set
 390 CONFIG_X86_64=y
 391 CONFIG_X86_64_SMP=y
 392 CONFIG_X86_ACPI_CPUFREQ=y
 393 # CONFIG_X86_ACPI_CPUFREQ_CPB is not set
 394 CONFIG_X86_AMD_FREQ_SENSITIVITY=y
 395 # CONFIG_X86_AMD_PLATFORM_DEVICE is not set
 396 CONFIG_X86_CMOV=y
 397 CONFIG_X86_CPUID=y
 398 CONFIG_X86_DEBUGCTLMSR=y
 399 CONFIG_X86_DEV_DMA_OPS=y
 400 CONFIG_X86_DIRECT_GBPAGES=y
 401 CONFIG_X86_INTEL_LPSS=y
 402 # CONFIG_X86_INTEL_MEMORY_PROTECTION_KEYS is not set
 403 # CONFIG_X86_INTEL_MPX is not set
 404 CONFIG_X86_INTEL_PSTATE=y
 405 CONFIG_X86_MINIMUM_CPU_FAMILY=64
 406 # CONFIG_X86_PCC_CPUFREQ is not set
 407 CONFIG_X86_PKG_TEMP_THERMAL=y
 408 # CONFIG_X86_PMEM_LEGACY is not set
 409 CONFIG_X86_PM_TIMER=y
 410 # CONFIG_X86_POWERNOW_K8 is not set
 411 # CONFIG_X86_VSYSCALL_EMULATION is not set
 412 CONFIG_X86_X2APIC=y
 413 # CONFIG_X86_X32 is not set
 414 CONFIG_XEN=y
 415 CONFIG_XENFS=y
 416 CONFIG_XEN_512GB=y
 417 CONFIG_XEN_ACPI=y
 418 CONFIG_XEN_ACPI_PROCESSOR=y
 419 CONFIG_XEN_AUTO_XLATE=y
 420 # CONFIG_XEN_BACKEND is not set
 421 CONFIG_XEN_BALLOON=y
 422 CONFIG_XEN_BLKDEV_FRONTEND=y
 423 CONFIG_XEN_COMPAT_XENFS=y
 424 CONFIG_XEN_DEBUG_FS=y
 425 CONFIG_XEN_DEV_EVTCHN=y
 426 CONFIG_XEN_DOM0=y
 427 CONFIG_XEN_EFI=y
 428 CONFIG_XEN_FBDEV_FRONTEND=y
 429 CONFIG_XEN_GNTDEV=y
 430 CONFIG_XEN_GRANT_DEV_ALLOC=y
 431 CONFIG_XEN_HAVE_PVMMU=y
 432 CONFIG_XEN_HAVE_VPMU=y
 433 # CONFIG_XEN_MCE_LOG is not set
 434 CONFIG_XEN_NETDEV_FRONTEND=y
 435 CONFIG_XEN_PCIDEV_FRONTEND=y
 436 CONFIG_XEN_PRIVCMD=y
 437 CONFIG_XEN_PV=y
 438 CONFIG_XEN_PVH=y
 439 CONFIG_XEN_PVHVM=y
 440 CONFIG_XEN_PVHVM_SMP=y
 441 CONFIG_XEN_PV_SMP=y
 442 CONFIG_XEN_SAVE_RESTORE=y
 443 CONFIG_XEN_SCSI_FRONTEND=y
 444 CONFIG_XEN_SYMS=y
 445 CONFIG_XEN_SYS_HYPERVISOR=y
 446 CONFIG_XEN_WDT=y
 447 CONFIG_XEN_XENBUS_FRONTEND=y
 448 CONFIG_XPS=y
 449 CONFIG_ZONE_DMA32=y