u8500: linux rtos config

[fw/openocd] / tcl / target / at91sam7se512.cfg

diff --git a/tcl/target/at91sam7se512.cfg b/tcl/target/at91sam7se512.cfg
index c48afeffd54027f67b796e96da2612fb35f2b65f..17d0d8e4bdffa9f64f915891365c4f5a295bd5ad 100644 (file)
--- a/tcl/target/at91sam7se512.cfg
+++ b/tcl/target/at91sam7se512.cfg
@@ -1,24 +1,23 @@
-
 # ATMEL sam7se512
 # Example: the "Elektor Internet Radio" - EIR
 # http://www.ethernut.de/en/hardware/eir/index.html
 
 if { [info exists CHIPNAME] } {
-   set  _CHIPNAME $CHIPNAME
+   set _CHIPNAME $CHIPNAME
 } else {
-   set  _CHIPNAME sam7se512
+   set _CHIPNAME sam7se512
 }
 
 if { [info exists ENDIAN] } {
-   set  _ENDIAN $ENDIAN
+   set _ENDIAN $ENDIAN
 } else {
-   set  _ENDIAN little
+   set _ENDIAN little
 }
 
-if { [info exists CPUTAPID ] } {
+if { [info exists CPUTAPID] } {
    set _CPUTAPID $CPUTAPID
 } else {
-  # force an error till we get a good number
+   # Force an error until we get a good number.
    set _CPUTAPID 0xffffffff
 }