tcl/target/stm32l4x: set default WORKAREASIZE to smallest device

[fw/openocd] / tcl / board / microchip_explorer16.cfg

diff --git a/tcl/board/microchip_explorer16.cfg b/tcl/board/microchip_explorer16.cfg
index f5c4faab441d55b6987bb44d96a7ada148f332e5..7c036c665cb02c295bfa7ee511ba76a95a6fbcf0 100644 (file)
--- a/tcl/board/microchip_explorer16.cfg
+++ b/tcl/board/microchip_explorer16.cfg
@@ -8,6 +8,3 @@ set CPUTAPID 0x30938053
 set WORKAREASIZE 32768
 
 source [find target/pic32mx.cfg]
-
-# For more information about the configuration files, take a look at:
-# openocd.texi