#include <config_distro_defaults.h>
#define CONFIG_SYS_DCACHE_OFF
-#define CONFIG_SYS_THUMB_BUILD
-
-#define CONFIG_SYS_NO_FLASH
#define CONFIG_SYS_BOOTMAPSZ (16 << 20)
#define CONFIG_PL01x_PORTS { (void *)(0xFFF36000) }
#define CONFIG_CONS_INDEX 0
-#define CONFIG_BAUDRATE 115200
-
#define CONFIG_BOOTCOUNT_LIMIT
#define CONFIG_SYS_BOOTCOUNT_SINGLEWORD
#define CONFIG_SYS_BOOTCOUNT_LE /* Use little-endian accessors */
/*
* Command line configuration.
*/
-#define CONFIG_CMD_SCSI
#define CONFIG_BOOT_RETRY_TIME -1
#define CONFIG_RESET_TO_RETRY