scripts: update flash bank names
[fw/openocd] / tcl / target / pic32mx.cfg
index 673d254107c94a192dde8d40744b51014eae844d..0b99cdb47b2299b83d1595d8aa4b4c4db3239d47 100644 (file)
@@ -67,9 +67,9 @@ $_TARGETNAME configure -event reset-init {
        mww 0xbf882030 $_PIC32MX_PROGSIZE
 }
 
-set _FLASHNAME $_CHIPNAME.flash
+set _FLASHNAME $_CHIPNAME.flash0
 flash bank $_FLASHNAME pic32mx 0x1fc00000 0 0 0 $_TARGETNAME
-set _FLASHNAME $_CHIPNAME.flash
+set _FLASHNAME $_CHIPNAME.flash1
 flash bank $_FLASHNAME pic32mx 0x1d000000 0 0 0 $_TARGETNAME
 
 # For more information about the configuration files, take a look at: