target/armv7m: fix register number in armv7m_get_core_reg()
[fw/openocd] / tcl / board / xmc4700-relax.cfg
2015-12-29 Andreas Färbertcl/board: Add Infineon XMC4700 Relax Kit Series config