1CONFIG_ASPEED_ESPI=y
2CONFIG_REGULATOR_MAX8952=y
3CONFIG_REGULATOR=y
4CONFIG_REGULATOR_DEBUG=y
5CONFIG_REGULATOR_FIXED_VOLTAGE=y
6CONFIG_REGULATOR_USERSPACE_CONSUMER=y
7CONFIG_PECI=y
8CONFIG_PECI_ASPEED=y
9CONFIG_SENSORS_PECI_CPUTEMP=y
10CONFIG_SENSORS_PECI_DIMMTEMP=y
11CONFIG_JTAG=y
12CONFIG_JTAG_ASPEED=y
13CONFIG_IPMB_DEVICE_INTERFACE=y
14CONFIG_MFD_MAX5970=y
15CONFIG_REGULATOR_MAX5970=y
16CONFIG_SENSORS_MP2975=y
17CONFIG_SENSORS_MP2975_REGULATOR=y
18CONFIG_SENSORS_TDA38640=y
19CONFIG_SENSORS_TDA38640_REGULATOR=y
20CONFIG_SENSORS_IR38064=y
21CONFIG_SENSORS_IR38064_REGULATOR=y
22CONFIG_I2C_SLAVE=y
23CONFIG_MICREL_PHY=y
24CONFIG_ASPEED_KCS_IPMI_BMC=y
25CONFIG_SENSORS_JC42=y
26CONFIG_EEPROM_EE1004=y
27CONFIG_IIO_RESCALE=y
28CONFIG_PSTORE=y
29CONFIG_PSTORE_PMSG=y
30CONFIG_PSTORE_RAM=y
31CONFIG_MAGIC_SYSRQ=y
32CONFIG_USB_UHCI_HCD=y
33CONFIG_USB_SERIAL=y
34CONFIG_USB_SERIAL_PL2303=y
35CONFIG_IPMI_KCS_BMC_CDEV_RAW=y
36CONFIG_TUN=y
37CONFIG_SENSORS_IIO_HWMON=y
38CONFIG_SENSORS_TMP401=y
39CONFIG_SENSORS_MAX31785=y
40CONFIG_IIO=y
41CONFIG_HDC100X=y
42CONFIG_DSP310=y
43CONFIG_SENSORS_PLI1209BC=y
44CONFIG_SENSORS_PLI1209BC_REGULATOR=y
45CONFIG_TCG_TPM=y
46CONFIG_TCG_TIS_I2C=y
47