tcl/board: add SPDX tag
[fw/openocd] / tcl / board / at91sam9g20-ek.cfg
index e1cbb91204c796da63145cb0f7568aa68f384a5c..a5831cd91cad1df5389d4791180e1f8791a24467 100644 (file)
@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: GPL-2.0-or-later
+
 #################################################################################################
 #                                                                                              #
 # Author: Gary Carlson (gcarlson@carlson-minot.com)                                            #
@@ -40,9 +42,7 @@ at91sam9 rdy_busy 0 0xfffff800 13
 at91sam9 ce 0 0xfffff800 14
 
 proc read_register {register} {
-        set result ""
-        mem2array result 32 $register 1
-        return $result(0)
+       return [read_memory $register 32 1]
 }
 
 proc at91sam9g20_reset_start { } {