diff --git a/tcl/target/at91eb40a.cfg b/tcl/board/at91eb40a.cfg
similarity index 92%
rename from tcl/target/at91eb40a.cfg
rename to tcl/board/at91eb40a.cfg
index e78cceaca..62d3c9c3d 100644
--- a/tcl/target/at91eb40a.cfg
+++ b/tcl/board/at91eb40a.cfg
@@ -43,7 +43,7 @@ arm7_9 dcc_downloads enable
 
 #flash driver
 set _FLASHNAME $_CHIPNAME.flash
-flash bank $_FLASHNAME ecosflash 0x01000000 0x200000 2 2 0 ecos/at91eb40a.elf
+flash bank $_FLASHNAME ecosflash 0x01000000 0x200000 2 2 $_TARGETNAME ecos/at91eb40a.elf
 
 # required for usable performance. Used for lots of
 # other things than flash programming.
@@ -60,3 +60,6 @@ $_TARGETNAME configure -event reset-init {
 	mww 0xffff0010 0x100
 	mww 0xffff0034 0x100
 }
+
+# This target is pretty snappy...
+jtag_khz 16000