* GNU General Public License for more details. *
* *
* You should have received a copy of the GNU General Public License *
- * along with this program; if not, write to the *
- * Free Software Foundation, Inc., *
- * 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *
+ * along with this program. If not, see <http://www.gnu.org/licenses/>. *
***************************************************************************/
#include "dcc_stdio.h"
/* enable openocd debugmsg at the gdb prompt:
- * monitor target_request debugmsgs enable
- *
+ * monitor target_request debugmsgs enable
+ *
* create a trace point:
* monitor trace point 1
- *
+ *
* to show how often the trace point was hit:
* monitor trace point
*/