powerpc: Add P3041DS/P5020DS board support (uses corenet_ds code)
[platform/kernel/u-boot.git] / board / freescale / mx31pdk / config.mk
1 ifdef CONFIG_NAND_SPL
2 CONFIG_SYS_TEXT_BASE = 0x87ec0000
3 else
4 CONFIG_SYS_TEXT_BASE = 0x87f00000
5 endif