tcl/target/stm32f4x: fix name

[fw/openocd] / tcl / board / xmc1100-boot-kit.cfg

diff --git a/tcl/board/xmc1100-boot-kit.cfg b/tcl/board/xmc1100-boot-kit.cfg
index 4c83fd3ace7bb4fb02395e16f6ac5af4f3c53902..5e7c607344766a8618a27a0a4923ecdd727404fd 100644 (file)
--- a/tcl/board/xmc1100-boot-kit.cfg
+++ b/tcl/board/xmc1100-boot-kit.cfg
@@ -9,6 +9,7 @@ source [find interface/jlink.cfg]
 transport select swd
 
 set CHIPNAME xmc1100
+set WORKAREASIZE 0x4000
 source [find target/xmc1xxx.cfg]
 
 reset_config srst_only srst_nogate