MIPS: allow override of get_tbclk()
[platform/kernel/u-boot.git] / configs / mx31pdk_defconfig
index 9ab4a09..ac1dac0 100644 (file)
@@ -10,6 +10,7 @@ CONFIG_ENV_OFFSET=0x40000
 CONFIG_SPL_SERIAL_SUPPORT=y
 CONFIG_NR_DRAM_BANKS=1
 CONFIG_SPL=y
+CONFIG_ENV_OFFSET_REDUND=0x60000
 CONFIG_SPL_TEXT_BASE=0x87dc0000
 # CONFIG_SPL_FRAMEWORK is not set
 CONFIG_SPL_NAND_SUPPORT=y
@@ -25,7 +26,6 @@ CONFIG_CMD_PING=y
 CONFIG_CMD_DATE=y
 CONFIG_ENV_IS_IN_NAND=y
 CONFIG_SYS_REDUNDAND_ENVIRONMENT=y
-CONFIG_ENV_OFFSET_REDUND=0x60000
 CONFIG_SYS_RELOC_GD_ENV_ADDR=y
 CONFIG_MXC_GPIO=y
 # CONFIG_MMC is not set