u8500 : config for L2 cache
[fw/openocd] / tcl / target / lpc3131.cfg
index 5c6aa3ce869bccea7a5686f1405d1622b46bc521..560555b4a15514d292e2e2ff2e421c3fc6e8bf96 100644 (file)
@@ -66,7 +66,7 @@ $_TARGETNAME configure -event reset-init {
        echo "\nRunning reset init script for LPC3131\n"
        halt
        wait_halt
-       reg cpsr 0xa00000d3     #Supervisor mode
+       reg cpsr 0xa00000d3     ;#Supervisor mode
        reg pc 0x11029000
        poll
        sleep 500