#!/bin/sh openocd -f /cc3200.cfg