# Legal values: 0x10000000 0x08000000 0x04000000
};
+# SDRAM clock
+# This option specifies the SDRAM clock im 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
+};
+
# Enable low level debugging with LED
# This option enables low level debugging by blink codes
# of the LED on STK5.