# This is configuration for PiKRON's LX_CPU1 based on NXP LPC4088 chip.
# http://pikron.com/pages/products/cpu_boards/lx_cpu.html

#daemon configuration

telnet_port 4444
gdb_port 3333

adapter_khz 1000

source [find jt_usb5-jtag.cfg]

source [find target/lpc40xx.cfg]

init

reset init
#wait_halt
resume
sleep 1000
halt
wait_halt

adapter_khz 1000