RedBoot STK5 Release 2010-03-04

[karo-tx-redboot.git] / config / TX51-80x0.ecc

diff --git a/config/TX51-80x0.ecc b/config/TX51-80x0.ecc
index 399b07e996a8a624993213c3e1b31ac83ca3aae8..5dfda4c158a922dc4f56ba3496a827307eb7ac92 100644 (file)
--- a/config/TX51-80x0.ecc
+++ b/config/TX51-80x0.ecc
@@ -2964,8 +2964,9 @@ cdl_option CYGHWR_HAL_ARM_CPU_FAMILY {
 #
 cdl_option CYGHWR_HAL_ARM_DUMP_EXCEPTIONS {
     # Flavor: bool
-    user_value 1
-    # value_source user
+    # No user value, uncomment the following line to provide one.
+    # user_value 0
+    # value_source default
     # Default value: 0
     # Requires: !CYGDBG_HAL_DEBUG_GDB_INCLUDE_STUBS
     #     CYGDBG_HAL_DEBUG_GDB_INCLUDE_STUBS == 0
@@ -3434,7 +3435,7 @@ cdl_option CYGNUM_HAL_ARM_TX51_SDRAM_SIZE {
     # user_value 0x08000000
     # value_source default
     # Default value: 0x08000000
-    # Legal values:  0x08000000 0x04000000 
+    # Legal values:  0x10000000 0x08000000 0x04000000 
 };
 
 # Enable low level debugging with LED