Soft breakpoints are currently broken if the MMU is enabled due to incorrect
cache flushing.  Until this is fixed, force the use of hardware breakpoints.

Signed-off-by: Aaron Carroll <aar...@ok-labs.com>
---
 tcl/target/omap4430.cfg |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)

diff --git a/tcl/target/omap4430.cfg b/tcl/target/omap4430.cfg
index 19b2d70..5bdb9d6 100644
--- a/tcl/target/omap4430.cfg
+++ b/tcl/target/omap4430.cfg
@@ -109,3 +109,6 @@ $_TARGETNAME configure -event reset-assert "$_TARGETNAME 
mww phys $PRM_RSTCTRL 0
 $_CHIPNAME.m30 configure -event reset-assert { }
 $_CHIPNAME.m31 configure -event reset-assert { }
 
+# Soft breakpoints don't currently work due to broken cache handling
+gdb_breakpoint_override hard
+
-- 
1.7.0.4

_______________________________________________
Openocd-development mailing list
Openocd-development@lists.berlios.de
https://lists.berlios.de/mailman/listinfo/openocd-development

Reply via email to