TX51 Release 2011-07-27

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

diff --git a/config/TX51-80x0.ecc b/config/TX51-80x0.ecc
index 5dfda4c158a922dc4f56ba3496a827307eb7ac92..8ea46ed180c5ff3f1fe7ec3798c9e10107467b15 100644 (file)
--- a/config/TX51-80x0.ecc
+++ b/config/TX51-80x0.ecc
@@ -3438,6 +3438,30 @@ cdl_option CYGNUM_HAL_ARM_TX51_SDRAM_SIZE {
     # Legal values:  0x10000000 0x08000000 0x04000000 
 };
 
+# SDRAM clock
+# This option specifies the SDRAM clock in MHz of the TX51 module.
+#
+cdl_option CYGNUM_HAL_ARM_TX51_SDRAM_CLK {
+    # Flavor: data
+    # No user value, uncomment the following line to provide one.
+    # user_value 166
+    # value_source default
+    # Default value: 166
+    # Legal values:  166 200 
+};
+
+# CPU clock
+# This option specifies the CPU clock in MHz of the TX51 module.
+#
+cdl_option CYGNUM_HAL_ARM_TX51_CPU_CLK {
+    # Flavor: data
+    # No user value, uncomment the following line to provide one.
+    # user_value 800
+    # value_source default
+    # Default value: 800
+    # Legal values:  600 800 
+};
+
 # Enable low level debugging with LED
 # This option enables low level debugging by blink codes
 # of the LED on STK5.
@@ -5732,7 +5756,9 @@ cdl_option CYGSEM_REDBOOT_FIS_CRC_CHECK {
     # Flavor: bool
     # No user value, uncomment the following line to provide one.
     # user_value 1
-    # value_source default
+    # The inferred value should not be edited directly.
+    inferred_value 0
+    # value_source inferred
     # Default value: 1
 };