$_TARGETNAME configure -work-area-phys 0xa0000000 -work-area-size 16384 -work-area-backup 0
set _FLASHNAME $_CHIPNAME.flash
-flash bank $_FLASHNAME pic32mx 0xbd000000 0 0 0 0
+flash bank $_FLASHNAME pic32mx 0xbd000000 0 0 0 $_TARGETNAME
set _FLASHNAME $_CHIPNAME.flash
-flash bank $_FLASHNAME pic32mx 0xbfc00000 0 0 0 0
+flash bank $_FLASHNAME pic32mx 0xbfc00000 0 0 0 $_TARGETNAME
# For more information about the configuration files, take a look at:
# openocd.texi