#define CONFIG_RED_LED GPIO_PIN_PB(7) /* this is the power led */
#define CONFIG_GREEN_LED GPIO_PIN_PB(8) /* this is the user1 led */
-#define CONFIG_BOOTDELAY 3
/*
* BOOTP options
/*
* Command line configuration.
*/
-#define CONFIG_CMD_CACHE
#define CONFIG_CMD_NAND 1
/* SDRAM */