diff --git a/include/configs/10m50_devboard.h b/include/configs/10m50_devboard.h
index c99177c6fe6bde838dbaf03a9f6820af4bacdedf..68ef6e5767e125a133729b1a39010dcd99cae5e2 100644
--- a/include/configs/10m50_devboard.h
+++ b/include/configs/10m50_devboard.h
@@ -63,7 +63,7 @@
 #define CONFIG_SYS_SDRAM_SIZE		0x08000000
 #define CONFIG_NR_DRAM_BANKS		1
 #define CONFIG_MONITOR_IS_IN_RAM
-#define CONFIG_SYS_MONITOR_LEN		0x40000	/* Reserve 256k */
+#define CONFIG_SYS_MONITOR_LEN		0x80000	/* Reserve 512k */
 #define CONFIG_SYS_MONITOR_BASE	(CONFIG_SYS_SDRAM_BASE + \
 					 CONFIG_SYS_SDRAM_SIZE - \
 					 CONFIG_SYS_MONITOR_LEN)
diff --git a/include/configs/3c120_devboard.h b/include/configs/3c120_devboard.h
index 0f494e54d6bf349c136bca46660c065b75c6a38f..00e83747223c22a5a787eb80160abd1647f4b8e3 100644
--- a/include/configs/3c120_devboard.h
+++ b/include/configs/3c120_devboard.h
@@ -66,7 +66,7 @@
 #define CONFIG_SYS_SDRAM_SIZE		0x08000000
 #define CONFIG_NR_DRAM_BANKS		1
 #define CONFIG_MONITOR_IS_IN_RAM
-#define CONFIG_SYS_MONITOR_LEN		0x40000	/* Reserve 256k */
+#define CONFIG_SYS_MONITOR_LEN		0x80000	/* Reserve 512k */
 #define CONFIG_SYS_MONITOR_BASE	(CONFIG_SYS_SDRAM_BASE + \
 					 CONFIG_SYS_SDRAM_SIZE - \
 					 CONFIG_SYS_MONITOR_LEN)