GDB: bug fixes

Author: lukefahr

platforms/m3/prc_v14/software/Makefile

@@ -79,11 +79,11 @@ BINS := $(foreach var,$(DIRS),$(var)/$(var).bin)
 HEXS := $(foreach var,$(DIRS),$(var)/$(var).hex)
 ELFS := $(foreach var,$(DIRS),$(var)/$(var).elf)
 
-.PRECIOUS: $(LIBS) $(BINS) $(ELFS) 
+.PRECIOUS: $(LIBS) $(BINS) $(ELFS) $(GDB)
 
 .PHONY: all
 
-all: $(HEXS)
+all: $(GDB) $(HEXS)
 
 $(DIRS):
 	$(MAKE) $@/$@.hex
@@ -94,7 +94,7 @@ $(DIRS):
 
 #%.bin:	$$(wildcard $$(dir $$*)*.c)
 
-%.o: $(HEADERS) $(GDB)
+%.o: $(HEADERS) 
 
 %.hex:	%.bin
 	xxd -g1 -c1 $< | cut -d' ' -f2 > $@
@@ -129,6 +129,7 @@ clean:
 	rm -f $(HEXS)
 	rm -f $(LIBS)
 	rm -f $(ELFS)
+	rm -f $(GDB)
 
 clean-%:
 	rm -f $*/$*.bin $*/$*.hex

platforms/m3/prc_v14/software/gdb/gdb.c

@@ -20,8 +20,6 @@
 
 #include "PRCv14.h"
 
-#include "gdb.h"
-
 /* this struct is used by the assembley-level file 'gdb.s'
  * and must stay in this specific order
  */
@@ -68,7 +66,7 @@ struct svc_args
  * 
  */
 void _gdb_break( struct svc_args * regs) 
-    __attribute__ ((noinline,used,section("gdb")));
+    __attribute__ ((noinline,used));
 
 /** 
  * High-level (C) function called in reponse to a "halt" interrupt 
@@ -77,7 +75,7 @@ void _gdb_break( struct svc_args * regs)
  * @regs:  a copy of the processor registers as the existed pre-halt
  */
 void _gdb_halt( struct svc_args * regs) 
-    __attribute__ ((noinline,used,section("gdb")));
+    __attribute__ ((noinline,used));
 
 /**
  * writes a 32-bit message over MBUS
@@ -89,7 +87,7 @@ void _gdb_halt( struct svc_args * regs)
  * @data the 32-bit data to be written
  */
 uint32_t _gdb_mbus_write_message32(uint32_t addr, uint32_t data) 
-                                    __attribute__ ((used,section("gdb")));
+                                    __attribute__ ((used));
 
 
 
@@ -160,7 +158,7 @@ void _gdb_break( struct svc_args * regs)
 }
 
 //so we can soft-step into mbus_write_message32
-uint32_t gdb_mbus_write_message32(uint32_t addr, uint32_t data) {
+uint32_t _gdb_mbus_write_message32(uint32_t addr, uint32_t data) {
     uint32_t mbus_addr = 0xA0003000 | (addr << 4);
     *((volatile uint32_t *) mbus_addr) = data;
     return 1;