Note that unlike with some other boards, OpenOCD provides no warning that the device is not halted. Be careful.