# 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