2 # CONFIG_ACPI_AC is not set
3 # CONFIG_ACPI_BATTERY is not set
5 # CONFIG_ACPI_CMPC is not set
6 # CONFIG_ACPI_CONTAINER is not set
7 # CONFIG_ACPI_CUSTOM_DSDT is not set
8 # CONFIG_ACPI_DEBUG is not set
9 # CONFIG_ACPI_DOCK is not set
10 # CONFIG_ACPI_EC_DEBUGFS is not set
11 # CONFIG_ACPI_FAN is not set
12 # CONFIG_ACPI_INITRD_TABLE_OVERRIDE is not set
13 CONFIG_ACPI_LEGACY_TABLES_LOOKUP=y
14 # CONFIG_ACPI_PCI_SLOT is not set
15 CONFIG_ACPI_PROCESSOR=y
16 # CONFIG_ACPI_PROCESSOR_AGGREGATOR is not set
17 # CONFIG_ACPI_PROCFS_POWER is not set
18 # CONFIG_ACPI_SBS is not set
19 # CONFIG_ACPI_THERMAL is not set
20 # CONFIG_ACPI_WMI is not set
21 CONFIG_ARCH_MIGHT_HAVE_ACPI_PDC=y
22 CONFIG_ARCH_PHYS_ADDR_T_64BIT=y
23 # CONFIG_ASUS_LAPTOP is not set
24 CONFIG_CPU_IDLE_GOV_MENU=y
25 # CONFIG_EEEPC_LAPTOP is not set
26 # CONFIG_EFI is not set
27 CONFIG_HAVE_ACPI_APEI=y
28 CONFIG_HAVE_ACPI_APEI_NMI=y
29 # CONFIG_HIGHMEM64G is not set
31 CONFIG_HOTPLUG_PCI_ACPI=y
32 # CONFIG_HOTPLUG_PCI_ACPI_IBM is not set
33 # CONFIG_HOTPLUG_PCI_COMPAQ is not set
34 # CONFIG_HOTPLUG_PCI_CPCI is not set
35 # CONFIG_HOTPLUG_PCI_IBM is not set
36 CONFIG_HOTPLUG_PCI_PCIE=y
37 # CONFIG_HOTPLUG_PCI_SHPC is not set
38 # CONFIG_HPET is not set
39 # CONFIG_HP_ACCEL is not set
41 # CONFIG_HW_RANDOM_VIRTIO is not set
42 CONFIG_HYPERVISOR_GUEST=y
43 # CONFIG_INTEL_IPS is not set
44 # CONFIG_ISCSI_IBFT_FIND is not set
45 # CONFIG_KVM is not set
46 # CONFIG_KVM_DEBUG_FS is not set
48 # CONFIG_LGUEST is not set
49 # CONFIG_LGUEST_GUEST is not set
51 # CONFIG_M486 is not set
55 CONFIG_PARAVIRT_CLOCK=y
56 # CONFIG_PARAVIRT_DEBUG is not set
57 CONFIG_PARAVIRT_SPINLOCKS=y
58 CONFIG_PARAVIRT_TIME_ACCOUNTING=y
64 CONFIG_PHYS_ADDR_T_64BIT=y
67 CONFIG_PNP_DEBUG_MESSAGES=y
68 # CONFIG_PVPANIC is not set
70 # CONFIG_SAMSUNG_Q10 is not set
71 # CONFIG_SCSI_VIRTIO is not set
72 CONFIG_SERIAL_8250_PNP=y
73 CONFIG_SLUB_CPU_PARTIAL=y
75 # CONFIG_THINKPAD_ACPI is not set
76 # CONFIG_TOPSTAR_LAPTOP is not set
77 # CONFIG_TOSHIBA_BT_RFKILL is not set
78 # CONFIG_VHOST_NET is not set
81 CONFIG_VIRTIO_CONSOLE=y
82 # CONFIG_VIRTIO_NET is not set
84 CONFIG_VIRTUALIZATION=y
85 # CONFIG_VMWARE_BALLOON is not set
86 # CONFIG_VT_HW_CONSOLE_BINDING is not set
88 # CONFIG_X86_ACPI_CPUFREQ is not set
89 # CONFIG_X86_BIGSMP is not set
90 # CONFIG_X86_E_POWERSAVER is not set
91 # CONFIG_X86_GENERIC is not set
93 # CONFIG_X86_INTEL_LPSS is not set
94 CONFIG_X86_INTERNODE_CACHE_SHIFT=4
95 CONFIG_X86_L1_CACHE_SHIFT=4
96 # CONFIG_X86_LONGHAUL is not set
98 # CONFIG_X86_PAT is not set
99 # CONFIG_X86_PCC_CPUFREQ is not set
100 CONFIG_X86_PM_TIMER=y
101 # CONFIG_X86_PPRO_FENCE is not set
102 # CONFIG_XEN is not set