5 CONFIG_DRM_RADEON_KMS=y
8 CONFIG_THINKPAD_ACPI_HOTKEY_POLL=y
9 CONFIG_THINKPAD_ACPI_VIDEO=y
10 CONFIG_MEMORY_HOTPLUG=y
12 CONFIG_SPARSEMEM_MANUAL=y
13 CONFIG_ACPI_HOTPLUG_MEMORY=y
14 CONFIG_MEMORY_HOTPLUG_SPARSE=y
15 CONFIG_DEBUG_NMI_TIMEOUT=30
18 CONFIG_INTEL_IOATDMA=m
23 CONFIG_HIGH_RES_TIMERS=y
25 CONFIG_HOTPLUG_PCI_PCIE=y
28 CONFIG_CPU_FREQ_DEFAULT_GOV_USERSPACE=y
30 CONFIG_KEXEC_AUTO_RESERVE=y
32 CONFIG_X86_MCE_INJECT=m
33 CONFIG_OPROFILE_EVENT_MULTIPLEX=y
34 CONFIG_XEN_PLATFORM_PCI=y
35 CONFIG_VMWARE_BALLOON=m
36 CONFIG_X86_PCC_CPUFREQ=m
42 CONFIG_HPWDT_NMI_DECODING=y
43 CONFIG_XEN_MAX_DOMAIN_MEMORY=128
44 CONFIG_SENSORS_FAM15H_POWER=m
45 # CONFIG_TICK_DIVIDER is not set
46 # CONFIG_THINKPAD_ACPI_DEBUG is not set
47 # CONFIG_HOTPLUG_PCI_PCIE_POLL_EVENT_MODE is not set
48 # CONFIG_MEMORY_HOTREMOVE is not set
49 # CONFIG_SND_ES18XX is not set
50 # CONFIG_CPU_SUP_CENTAUR is not set
51 # CONFIG_KVM is not set
52 # CONFIG_X86_CPU_DEBUG is not set
53 # CONFIG_TRACK_DIRTY_PAGES is not set
54 # CONFIG_VMI is not set
55 # CONFIG_LGUEST is not set
56 # CONFIG_LGUEST_GUEST is not set
57 # CONFIG_CAPI_EICON is not set
58 # CONFIG_SCSI_FUTURE_DOMAIN is not set
59 # CONFIG_SCx200_ACB is not set
60 # CONFIG_SECCOMP is not set
61 # CONFIG_SCSI_ADVANSYS is not set
62 # CONFIG_I2O is not set
63 # CONFIG_I2O_BLOCK is not set
64 # CONFIG_I2O_SCSI is not set
65 # CONFIG_I2O_PROC is not set
66 # CONFIG_I2O_CONFIG is not set
67 # CONFIG_I2O_EXT_ADAPTEC is not set
68 # CONFIG_I2O_EXT_ADAPTEC_DMA64 is not set
69 # CONFIG_I2O_CONFIG_OLD_IOCTL is not set
70 # CONFIG_I2O_BUS is not set
71 # CONFIG_X86_PPRO_FENCE is not set
72 # CONFIG_DMAR_DEFAULT_ON is not set
73 # CONFIG_EDAC_MCE_INJ is not set
74 # CONFIG_DEBUG_FORCE_WEAK_PER_CPU is not set
78 CONFIG_HYPERV_STORAGE=m
80 CONFIG_HYPERV_BALLOON=m