CONFIG_SENSORS_IIO_HWMON=y
CONFIG_SENSORS_TMP421=y
CONFIG_SENSORS_MAX31785=y
CONFIG_SENSORS_UCD9000=y
CONFIG_SENSORS_IR35221=y
CONFIG_RTC_DRV_RV8803=y
CONFIG_IIO=y
CONFIG_BMP280=y
CONFIG_MAGIC_SYSRQ=y
CONFIG_MTD_UBI=y
CONFIG_MTD_UBI_FASTMAP=y
CONFIG_MTD_UBI_BLOCK=y
CONFIG_UBIFS_FS=y

# Witherspoon uses the GPIO bitbang driver
CONFIG_FSI=y
CONFIG_FSI_MASTER_HUB=y
CONFIG_FSI_MASTER_GPIO=y
CONFIG_FSI_SCOM=y
CONFIG_FSI_SBEFIFO=y
CONFIG_FSI_OCC=y
CONFIG_I2C_FSI=y

# CONFIG_BROADCOM_PHY is not set
# CONFIG_REALTEK_PHY is not set
# CONFIG_IPMI_KCS_BMC is not set
# CONFIG_IPMI_KCS_BMC_CDEV_RAW is not set
# CONFIG_ASPEED_KCS_IPMI_BMC is not set
# CONFIG_W1 is not set
# CONFIG_W1_MASTER_GPIO is not set
# CONFIG_W1_SLAVE_THERM is not set
# CONFIG_SENSORS_OCC_P8_I2C is not set
# CONFIG_RTC_DRV_PCF8523 is not set
# CONFIG_FSI_MASTER_AST_CF is not set
# CONFIG_SENSORS_UCD9200 is not set
# CONFIG_SENSORS_LM25066 is not set