tcl/board: add ESP32-S3 config for ESP USB Bridge board
[fw/openocd] / tcl / board / mcb1700.cfg
index 01080a0b16b560c9815aed45efc02cfee475fe65..8ab6e88c2b1963e9c64bc9d81c1a29b22eecf2c0 100644 (file)
@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: GPL-2.0-or-later
+
 # Keil MCB1700 PCB with 1768
 #
 # Reset init script sets it to 100MHz
@@ -55,7 +57,7 @@ $_TARGETNAME configure -event reset-init {
        #
        #
        global MCB1700_CCLK
-       adapter speed [expr $MCB1700_CCLK / 8]
+       adapter speed [expr {$MCB1700_CCLK / 8}]
 
        # Do not remap 0x0000-0x0020 to anything but the flash (i.e. select
        # "User Flash Mode" where interrupt vectors are _not_ remapped,