--- /dev/null
+CONFIG_SYS_EXTRA_OPTIONS="SYS_CPU_CLK=800"
+CONFIG_ARM=y
+CONFIG_TARGET_TX51=y
+CONFIG_TARGET_TX51_8XX1_2=y
+CONFIG_TX51_UBOOT_NOENV=y
+CONFIG_CMD_MII=y
+CONFIG_CMD_DHCP=y
+CONFIG_CMD_PING=y
+CONFIG_BOOTP_SUBNETMASK=y
+CONFIG_BOOTP_GATEWAY=y
+CONFIG_BOOTP_DNS=y
+CONFIG_MMC=y
+CONFIG_FSL_ESDHC=y
+CONFIG_FSL_USDHC=y
+CONFIG_LCD=y
+CONFIG_NET=y
+CONFIG_NETDEVICES=y
+CONFIG_FEC_MXC=y
+CONFIG_DOS_PARTITION=y
+CONFIG_ENV_IS_NOWHERE=y