it now works with f072 somehow

Makefile

@@ -16,7 +16,7 @@ GEX_PLAT=F072_DISCOVERY
 ######################################
 # target
 ######################################
-TARGET = gex-f072
+TARGET = firmware
 
 
 ######################################
@@ -139,7 +139,8 @@ AS_DEFS =
 # C defines
 C_DEFS =  \
 -DUSE_HAL_DRIVER \
--DSTM32F072xB
+-DSTM32F072xB \
+-DARM_MATH_CM0PLUS
 
 C_DEFS += -DGEX_PLAT_$(GEX_PLAT) $(GEX_CDEFS)
 

attach.gdb

@@ -0,0 +1,4 @@
+target remote | openocd -f openocd.cfg -f gdb-pipe.cfg
+monitor halt
+monitor gdb_sync
+stepi

dbg-client.sh

@@ -0,0 +1,3 @@
+#!/bin/bash
+
+xterm -e "telnet localhost 4444" &

dbg-server.sh

@@ -0,0 +1,3 @@
+#!/bin/bash
+
+xterm -e "openocd -f openocd_f072.cfg" &

gdb-pipe.cfg

@@ -0,0 +1,7 @@
+gdb_port pipe
+log_output openocd.log
+ 
+$_TARGETNAME configure -event gdb-detach {
+ echo "Debugger detaching: resuming execution."
+ resume
+}

openocd.cfg

@@ -0,0 +1,10 @@
+# This is an ST NUCLEO F103RB board with a single STM32F103RBT6 chip.
+# http://www.st.com/web/catalog/tools/FM116/SC959/SS1532/LN1847/PF259875
+
+source [find interface/stlink-v2.cfg]
+
+#transport select hla_swd
+
+source [find target/stm32f0x.cfg]
+
+#reset_config srst_only

openocd.log

@@ -0,0 +1,25 @@
+Info : Unable to match requested speed 1000 kHz, using 950 kHz
+Info : Unable to match requested speed 1000 kHz, using 950 kHz
+Info : clock speed 950 kHz
+Info : STLINK v2 JTAG v29 API v2 SWIM v0 VID 0x0483 PID 0x3748
+Info : using stlink api v2
+Info : Target voltage: 2.913574
+Info : stm32f0x.cpu: hardware has 4 breakpoints, 2 watchpoints
+Info : accepting 'gdb' connection from pipe
+Info : device id = 0x20016448
+Info : flash size = 128kbytes
+undefined debug reason 7 - target needs reset
+target halted due to debug-request, current mode: Handler HardFault
+xPSR: 0x41000003 pc: 0xfffffffe msp: 0x20004fe0
+Warn : stepi ignored. GDB will now fetch the register state from the target.
+Info : Unable to match requested speed 1000 kHz, using 950 kHz
+Info : Unable to match requested speed 1000 kHz, using 950 kHz
+adapter speed: 950 kHz
+target halted due to debug-request, current mode: Thread 
+xPSR: 0xc1000000 pc: 0x08009658 msp: 0x20005000
+Debugger detaching: resuming execution.
+Debugger detaching: resuming execution.
+Warn : target not halted
+
+
+Info : dropped 'gdb' connection

run.gdb

@@ -0,0 +1,4 @@
+source attach.gdb
+monitor reset halt
+tbreak main
+continue