+CONFIG_IFXMIPS=y
+CONFIG_IFXMIPS_ASC_UART=y
+CONFIG_IFXMIPS_EEPROM=y
+CONFIG_IFXMIPS_GPIO=y
+CONFIG_IFXMIPS_LED=y
+CONFIG_IFXMIPS_MEI=y
+CONFIG_IFXMIPS_MII0=y
+# CONFIG_IFXMIPS_MII1 is not set
+CONFIG_IFXMIPS_SSC=y
+# CONFIG_IFXMIPS_USE_CONSOLE0 is not set
+CONFIG_IFXMIPS_USE_CONSOLE1=y
+CONFIG_IFXMIPS_WDT=y