|
@@ -492,7 +492,7 @@
|
|
|
#define CFG_LOAD_ADDR 0x2000000 /* default load address */
|
|
|
#define CFG_PROMPT "=> " /* Monitor Command Prompt */
|
|
|
|
|
|
-#if (CONFIG_COMMANDS & CFG_CMD_KGDB)
|
|
|
+#if defined(CONFIG_CMD_KGDB)
|
|
|
#define CFG_CBSIZE 1024 /* Console I/O Buffer Size */
|
|
|
#else
|
|
|
#define CFG_CBSIZE 256 /* Console I/O Buffer Size */
|
|
@@ -513,7 +513,7 @@
|
|
|
/* Cache Configuration */
|
|
|
#define CFG_DCACHE_SIZE 32768
|
|
|
#define CFG_CACHELINE_SIZE 32
|
|
|
-#if (CONFIG_COMMANDS & CFG_CMD_KGDB)
|
|
|
+#if defined(CONFIG_CMD_KGDB)
|
|
|
#define CFG_CACHELINE_SHIFT 5 /*log base 2 of the above value*/
|
|
|
#endif
|
|
|
|
|
@@ -525,7 +525,7 @@
|
|
|
#define BOOTFLAG_COLD 0x01 /* Normal Power-On: Boot from FLASH */
|
|
|
#define BOOTFLAG_WARM 0x02 /* Software reboot */
|
|
|
|
|
|
-#if (CONFIG_COMMANDS & CFG_CMD_KGDB)
|
|
|
+#if defined(CONFIG_CMD_KGDB)
|
|
|
#define CONFIG_KGDB_BAUDRATE 230400 /* speed to run kgdb serial port */
|
|
|
#define CONFIG_KGDB_SER_INDEX 2 /* which serial port to use */
|
|
|
#endif
|