tcl/board: add SPDX tag
[fw/openocd] / tcl / board / twr-k60n512.cfg
index 4fe35bb0326f1126e2c3fdf7a6547f3746c1dff3..b7743a551a6aac0436ddb380060da6358a7c7e40 100644 (file)
@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: GPL-2.0-or-later
+
 #
 # Freescale TWRK60N512 development board
 #
@@ -5,10 +7,11 @@
 source [find target/k60.cfg]
 
 $_TARGETNAME configure -event reset-init {
-       puts "-event reset-init occured"
+       puts "-event reset-init occurred"
 }
 
 #
-# Bank definition for the 'program flash' (instructions and/or data)
+# Definitions for the additional 'program flash' bank
+# (instructions and/or data)
 #
-flash bank pflash.pflash kinetis 0x00000000 0x80000 0 4 $_TARGETNAME
+flash bank pflash.1 kinetis 0x00040000 0x40000 0 4 $_TARGETNAME