openocd/tcl/target/marvell/88f3710.cfg

# SPDX-License-Identifier: GPL-2.0-or-later

# Marvell Armada 3710

set CORES 1

source [find target/marvell/88f37x0.cfg]
tcl/target: add SPDX tag For historical reasons, no license information was added to the tcl files. This makes trivial adding the SPDX tag through script: fgrep -rL SPDX tcl/ target\| while read a;do \ sed -i '1{i# SPDX-License-Identifier: GPL-2.0-or-later\n }' $a;done With no specific license information from the author, let's extend the OpenOCD project license GPL-2.0-or-later to the files. Change-Id: I7b2610300b24cccd07bfa6fb5f1266970d5d3a1b Signed-off-by: Antonio Borneo <borneo.antonio@gmail.com> Reviewed-on: https://review.openocd.org/c/openocd/+/7027 Tested-by: jenkins 2022-06-12 21:42:27 +00:00			`# SPDX-License-Identifier: GPL-2.0-or-later`

configs for Marvell Armada 3700 Change-Id: I367f39c9bc9e58380d6d5b500d5368d5173d96bd Signed-off-by: Jiri Kastner <cz172638@gmail.com> Signed-off-by: Forest Crossman <cyrozap@gmail.com> Reviewed-on: http://openocd.zylin.com/4302 Tested-by: jenkins Reviewed-by: Paul Fertser <fercerpav@gmail.com> 2017-12-16 21:17:52 +00:00			`# Marvell Armada 3710`

			`set CORES 1`

			`source [find target/marvell/88f37x0.cfg]`