# Board from IAR KickStart Kit for LPC1768
# See www.iar.com and also
# http://www.olimex.com/dev/lpc-1766stk.html
#

source [find target/lpc17xx.cfg]

# The chip has just been reset.
#
$_TARGETNAME configure -event reset-init {
	# FIXME update the core clock to run at 100 MHz;
	# and update JTAG clocking similarly; then
	# make CCLK match,

	flash probe 0
}
