+# SPDX-License-Identifier: GPL-2.0-or-later
+
# Keil MCB1700 PCB with 1768
#
# Reset init script sets it to 100MHz
#
#
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,