1 # CONFIG_3C515 is not set
6 # CONFIG_8139TOO_TUNE_TWISTER is not set
7 # CONFIG_8139_OLD_RX_RESET is not set
10 # CONFIG_ACPI_BATTERY is not set
11 # CONFIG_ACPI_CMPC is not set
12 # CONFIG_ACPI_CONTAINER is not set
13 CONFIG_ACPI_CPU_FREQ_PSS=y
14 # CONFIG_ACPI_CUSTOM_DSDT is not set
15 # CONFIG_ACPI_DEBUG is not set
16 # CONFIG_ACPI_DEBUGGER is not set
17 # CONFIG_ACPI_DOCK is not set
18 # CONFIG_ACPI_EC_DEBUGFS is not set
20 CONFIG_ACPI_HOTPLUG_IOAPIC=y
21 CONFIG_ACPI_I2C_OPREGION=y
22 CONFIG_ACPI_LEGACY_TABLES_LOOKUP=y
23 # CONFIG_ACPI_PCI_SLOT is not set
24 CONFIG_ACPI_PROCESSOR=y
25 # CONFIG_ACPI_PROCESSOR_AGGREGATOR is not set
26 CONFIG_ACPI_PROCESSOR_CSTATE=y
27 CONFIG_ACPI_PROCESSOR_IDLE=y
28 # CONFIG_ACPI_PROCFS_POWER is not set
29 CONFIG_ACPI_REV_OVERRIDE_POSSIBLE=y
30 # CONFIG_ACPI_SBS is not set
31 CONFIG_ACPI_SYSTEM_POWER_STATES_SUPPORT=y
33 # CONFIG_ACPI_WMI is not set
35 CONFIG_ARCH_HAS_ACPI_TABLE_UPGRADE=y
36 CONFIG_ARCH_MIGHT_HAVE_ACPI_PDC=y
37 # CONFIG_ATA_PIIX is not set
38 CONFIG_CS5535_CLOCK_EVENT_SRC=y
40 CONFIG_CS5535_MFGPT_DEFAULT_IRQ=7
41 # CONFIG_DPTF_POWER is not set
42 # CONFIG_EBC_C384_WDT is not set
43 # CONFIG_EFI_DEV_PATH_PARSER is not set
44 # CONFIG_EISA is not set
45 # CONFIG_EL3 is not set
49 # CONFIG_GPIO_104_DIO_48E is not set
50 # CONFIG_GPIO_104_IDIO_16 is not set
51 # CONFIG_GPIO_104_IDI_48 is not set
55 CONFIG_HAVE_ACPI_APEI=y
56 CONFIG_HAVE_ACPI_APEI_NMI=y
58 # CONFIG_HIGHMEM64G is not set
59 # CONFIG_HPET is not set
60 # CONFIG_HP_ACCEL is not set
66 CONFIG_I2C_BOARDINFO=y
67 # CONFIG_INTEL_INT0002_VGPIO is not set
68 # CONFIG_INTEL_IPS is not set
69 # CONFIG_INTEL_MENLOW is not set
70 # CONFIG_INTEL_PMC_IPC is not set
72 # CONFIG_IOSF_MBI_DEBUG is not set
74 # CONFIG_ISAPNP is not set
76 # CONFIG_ISCSI_IBFT_FIND is not set
77 # CONFIG_LANCE is not set
79 # CONFIG_M586MMX is not set
80 # CONFIG_MDA_CONSOLE is not set
83 # CONFIG_MFD_INTEL_LPSS_ACPI is not set
85 # CONFIG_MIXCOMWD is not set
89 # CONFIG_OLPC is not set
97 # CONFIG_PCWATCHDOG is not set
98 CONFIG_PGTABLE_LEVELS=2
99 # CONFIG_PHYS_ADDR_T_64BIT is not set
101 # CONFIG_PINCTRL_BAYTRAIL is not set
102 # CONFIG_PINCTRL_BROXTON is not set
103 # CONFIG_PINCTRL_CANNONLAKE is not set
104 # CONFIG_PINCTRL_CHERRYVIEW is not set
105 # CONFIG_PINCTRL_DENVERTON is not set
106 # CONFIG_PINCTRL_GEMINILAKE is not set
107 # CONFIG_PINCTRL_LEWISBURG is not set
108 # CONFIG_PINCTRL_SUNRISEPOINT is not set
109 # CONFIG_PMIC_OPREGION is not set
112 # CONFIG_PNPBIOS is not set
113 CONFIG_PNP_DEBUG_MESSAGES=y
114 # CONFIG_PVPANIC is not set
117 CONFIG_RTC_I2C_AND_SPI=y
118 # CONFIG_SAMSUNG_Q10 is not set
122 CONFIG_SENSORS_LM90=y
123 CONFIG_SERIAL_8250_PNP=y
124 # CONFIG_SURFACE_PRO3_BUTTON is not set
125 # CONFIG_TOSHIBA_BT_RFKILL is not set
126 # CONFIG_USB_UHCI_HCD is not set
127 CONFIG_VGACON_SOFT_SCROLLBACK=y
128 # CONFIG_VGACON_SOFT_SCROLLBACK_PERSISTENT_ENABLE_BY_DEFAULT is not set
129 CONFIG_VGACON_SOFT_SCROLLBACK_SIZE=64
131 CONFIG_VIA_RHINE_MMIO=y
132 # CONFIG_WDT is not set
133 # CONFIG_X86_ACPI_CPUFREQ is not set
134 # CONFIG_X86_AMD_PLATFORM_DEVICE is not set
136 CONFIG_X86_DEBUGCTLMSR=y
137 # CONFIG_X86_E_POWERSAVER is not set
138 CONFIG_X86_INTEL_LPSS=y
139 # CONFIG_X86_LONGHAUL is not set
140 # CONFIG_X86_MCE is not set
141 CONFIG_X86_MINIMUM_CPU_FAMILY=4
142 # CONFIG_X86_PCC_CPUFREQ is not set
143 CONFIG_X86_PM_TIMER=y
144 CONFIG_X86_REBOOTFIXUPS=y