# CONFIG_3C515 is not set
+CONFIG_8139CP=y
+CONFIG_8139TOO=y
+CONFIG_8139TOO_8129=y
+CONFIG_8139TOO_PIO=y
+# CONFIG_8139TOO_TUNE_TWISTER is not set
+# CONFIG_8139_OLD_RX_RESET is not set
CONFIG_ALIX=y
# CONFIG_ATA_PIIX is not set
CONFIG_CS5535_CLOCK_EVENT_SRC=y
CONFIG_CS5535_MFGPT=y
CONFIG_CS5535_MFGPT_DEFAULT_IRQ=7
+CONFIG_DMI=y
+# CONFIG_DMIID is not set
+# CONFIG_DMI_SYSFS is not set
# CONFIG_EISA is not set
# CONFIG_EL3 is not set
CONFIG_GEODE_WDT=y
+CONFIG_GEOS=y
CONFIG_GPIOLIB=y
CONFIG_GPIO_CS5535=y
CONFIG_GPIO_DEVRES=y
CONFIG_ISA=y
# CONFIG_KEYBOARD_GPIO is not set
# CONFIG_LANCE is not set
+# CONFIG_LEDS_CLEVO_MAIL is not set
CONFIG_LEDS_GPIO=y
# CONFIG_M486 is not set
# CONFIG_MDA_CONSOLE is not set