1 # CONFIG_104_QUAD_8 is not set
2 # CONFIG_3C515 is not set
7 # CONFIG_8139TOO_TUNE_TWISTER is not set
8 # CONFIG_8139_OLD_RX_RESET is not set
11 # CONFIG_ACPI_BATTERY is not set
12 # CONFIG_ACPI_CMPC is not set
13 # CONFIG_ACPI_CONTAINER is not set
14 CONFIG_ACPI_CPU_FREQ_PSS=y
15 # CONFIG_ACPI_CUSTOM_DSDT is not set
16 # CONFIG_ACPI_DEBUG is not set
17 # CONFIG_ACPI_DEBUGGER is not set
18 # CONFIG_ACPI_DOCK is not set
19 # CONFIG_ACPI_EC_DEBUGFS is not set
21 CONFIG_ACPI_HOTPLUG_IOAPIC=y
22 CONFIG_ACPI_I2C_OPREGION=y
23 CONFIG_ACPI_LEGACY_TABLES_LOOKUP=y
24 # CONFIG_ACPI_PCI_SLOT is not set
25 CONFIG_ACPI_PROCESSOR=y
26 # CONFIG_ACPI_PROCESSOR_AGGREGATOR is not set
27 CONFIG_ACPI_PROCESSOR_CSTATE=y
28 CONFIG_ACPI_PROCESSOR_IDLE=y
29 # CONFIG_ACPI_PROCFS_POWER is not set
30 CONFIG_ACPI_REV_OVERRIDE_POSSIBLE=y
31 # CONFIG_ACPI_SBS is not set
32 CONFIG_ACPI_SYSTEM_POWER_STATES_SUPPORT=y
34 # CONFIG_ACPI_WMI is not set
36 CONFIG_ARCH_HAS_ACPI_TABLE_UPGRADE=y
37 CONFIG_ARCH_MIGHT_HAVE_ACPI_PDC=y
38 # CONFIG_ATA_PIIX is not set
39 CONFIG_CS5535_CLOCK_EVENT_SRC=y
41 CONFIG_CS5535_MFGPT_DEFAULT_IRQ=7
42 # CONFIG_DPTF_POWER is not set
43 # CONFIG_EBC_C384_WDT is not set
44 # CONFIG_EFI_DEV_PATH_PARSER is not set
45 # CONFIG_EISA is not set
46 # CONFIG_EL3 is not set
50 # CONFIG_GPIO_104_DIO_48E is not set
51 # CONFIG_GPIO_104_IDIO_16 is not set
52 # CONFIG_GPIO_104_IDI_48 is not set
56 CONFIG_HAVE_ACPI_APEI=y
57 CONFIG_HAVE_ACPI_APEI_NMI=y
59 # CONFIG_HIGHMEM64G is not set
60 # CONFIG_HPET is not set
61 # CONFIG_HP_ACCEL is not set
67 CONFIG_I2C_BOARDINFO=y
68 # CONFIG_INTEL_INT0002_VGPIO is not set
69 # CONFIG_INTEL_IPS is not set
70 # CONFIG_INTEL_MENLOW is not set
71 # CONFIG_INTEL_PMC_IPC is not set
72 # CONFIG_INTEL_SOC_PMIC_CHTWC 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
100 # CONFIG_PMIC_OPREGION is not set
103 # CONFIG_PNPBIOS is not set
104 CONFIG_PNP_DEBUG_MESSAGES=y
105 # CONFIG_PVPANIC is not set
108 CONFIG_RTC_I2C_AND_SPI=y
109 # CONFIG_SAMSUNG_Q10 is not set
113 CONFIG_SENSORS_LM90=y
114 CONFIG_SERIAL_8250_PNP=y
115 # CONFIG_SURFACE_PRO3_BUTTON is not set
116 # CONFIG_TOSHIBA_BT_RFKILL is not set
117 # CONFIG_USB_UHCI_HCD is not set
118 CONFIG_USB_OHCI_HCD_PCI=y
119 CONFIG_VGACON_SOFT_SCROLLBACK=y
120 # CONFIG_VGACON_SOFT_SCROLLBACK_PERSISTENT_ENABLE_BY_DEFAULT is not set
121 CONFIG_VGACON_SOFT_SCROLLBACK_SIZE=64
123 CONFIG_VIA_RHINE_MMIO=y
124 # CONFIG_WDT is not set
125 # CONFIG_X86_ACPI_CPUFREQ is not set
126 # CONFIG_X86_AMD_PLATFORM_DEVICE is not set
128 CONFIG_X86_DEBUGCTLMSR=y
129 # CONFIG_X86_E_POWERSAVER is not set
130 # CONFIG_X86_INTEL_LPSS is not set
131 # CONFIG_X86_LONGHAUL is not set
132 # CONFIG_X86_MCE is not set
133 CONFIG_X86_MINIMUM_CPU_FAMILY=4
134 # CONFIG_X86_PCC_CPUFREQ is not set
135 CONFIG_X86_PM_TIMER=y
136 CONFIG_X86_REBOOTFIXUPS=y