boards/arm/lpc17xx_40xx/lx_cpu/tools/openocd.cfg (8 lines of code) (raw):

#daemon configuration telnet_port 4444 gdb_port 3333 adapter_khz 5000 source [find lx_cpu-lpc4088.cfg] init reset halt wait_halt adapter_khz 5000