#daemon config telnet_port 65500 gdb_port 65501 source [find interface/openocd-usb.cfg] adapter_khz 400 source [find target/at91sam7x256.cfg] init reset halt