tcl/board: add SPDX tag

[fw/openocd] / tcl / board / hilscher_nxhx10.cfg

diff --git a/tcl/board/hilscher_nxhx10.cfg b/tcl/board/hilscher_nxhx10.cfg
index 1875dacc0ee289591e1f91201310302f53a2d45f..e116a6cc327d7382a89530f6eabc15fcd46c3f63 100644 (file)
--- a/tcl/board/hilscher_nxhx10.cfg
+++ b/tcl/board/hilscher_nxhx10.cfg
@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: GPL-2.0-or-later
+
 ################################################################################
 # Author: Michael Trensch (MTrensch@googlemail.com)
 ################################################################################
@@ -26,9 +28,7 @@ proc flash_init { } {
 }
 
 proc mread32 {addr} {
-  set value(0) 0
-  mem2array value 32 $addr 1
-  return $value(0)
+  return [read_memory $addr 32 1]
 }
 
 proc init_clocks { } {