2 # CONFIG_ACPI_AC is not set
3 # CONFIG_ACPI_BATTERY is not set
4 CONFIG_ACPI_BLACKLIST_YEAR=0
6 # CONFIG_ACPI_CMPC is not set
7 # CONFIG_ACPI_CONTAINER is not set
8 # CONFIG_ACPI_CUSTOM_DSDT is not set
9 # CONFIG_ACPI_DEBUG is not set
10 # CONFIG_ACPI_DOCK is not set
11 # CONFIG_ACPI_EC_DEBUGFS is not set
12 # CONFIG_ACPI_FAN is not set
13 # CONFIG_ACPI_INITRD_TABLE_OVERRIDE is not set
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 is not set
18 # CONFIG_ACPI_PROCFS_POWER is not set
19 # CONFIG_ACPI_PROC_EVENT is not set
20 # CONFIG_ACPI_SBS is not set
21 # CONFIG_ACPI_THERMAL is not set
22 # CONFIG_ACPI_WMI is not set
23 # CONFIG_ASUS_LAPTOP is not set
24 CONFIG_CONSOLE_TRANSLATIONS=y
25 CONFIG_CPU_IDLE_GOV_MENU=y
26 CONFIG_DUMMY_CONSOLE=y
27 # CONFIG_EEEPC_LAPTOP is not set
28 # CONFIG_EFI is not set
30 CONFIG_HOTPLUG_PCI_ACPI=y
31 # CONFIG_HOTPLUG_PCI_ACPI_IBM is not set
32 # CONFIG_HOTPLUG_PCI_COMPAQ is not set
33 # CONFIG_HOTPLUG_PCI_CPCI is not set
34 # CONFIG_HOTPLUG_PCI_IBM is not set
35 CONFIG_HOTPLUG_PCI_PCIE=y
36 # CONFIG_HOTPLUG_PCI_SHPC is not set
37 # CONFIG_HPET is not set
38 # CONFIG_HP_ACCEL is not set
41 # CONFIG_HW_RANDOM_VIRTIO is not set
42 CONFIG_HYPERVISOR_GUEST=y
44 CONFIG_INPUT_KEYBOARD=y
45 # CONFIG_INTEL_IPS is not set
46 CONFIG_KEYBOARD_ATKBD=y
48 # CONFIG_LGUEST is not set
49 # CONFIG_LGUEST_GUEST is not set
53 CONFIG_PARAVIRT_CLOCK=y
54 # CONFIG_PARAVIRT_DEBUG is not set
55 CONFIG_PARAVIRT_TIME_ACCOUNTING=y
63 CONFIG_PNP_DEBUG_MESSAGES=y
64 # CONFIG_PVPANIC is not set
65 # CONFIG_SCSI_VIRTIO is not set
66 CONFIG_SERIAL_8250_PNP=y
67 # CONFIG_THINKPAD_ACPI is not set
68 # CONFIG_TOPSTAR_LAPTOP is not set
69 # CONFIG_TOSHIBA_BT_RFKILL is not set
70 # CONFIG_VGACON_SOFT_SCROLLBACK is not set
72 # CONFIG_VHOST_NET is not set
75 CONFIG_VIRTIO_CONSOLE=y
76 # CONFIG_VIRTIO_NET is not set
78 CONFIG_VIRTUALIZATION=y
79 # CONFIG_VMWARE_BALLOON is not set
82 # CONFIG_VT_HW_CONSOLE_BINDING is not set
83 # CONFIG_X86_ACPI_CPUFREQ is not set
84 # CONFIG_X86_E_POWERSAVER is not set
85 # CONFIG_X86_GENERIC is not set
86 # CONFIG_X86_INTEL_LPSS is not set
87 CONFIG_X86_INTERNODE_CACHE_SHIFT=4
88 CONFIG_X86_L1_CACHE_SHIFT=4
89 # CONFIG_X86_LONGHAUL is not set
90 # CONFIG_X86_PAT is not set
91 # CONFIG_X86_PCC_CPUFREQ is not set
93 # CONFIG_X86_PPRO_FENCE is not set
94 # CONFIG_XEN_PRIVILEGED_GUEST is not set
95 # CONFIG_XO15_EBOOK is not set