From f88a44fd78ed111577e50d8765068ea9bf9919eb Mon Sep 17 00:00:00 2001
From: Adam Greig <adam@adamgreig.com>
Date: Fri, 9 Jun 2017 22:22:53 +0100
Subject: [PATCH] Remove 'monitor tpiu itm port 0 on' from .gdbinit

This happens automatically when openocd sets up the tpiu; see openocd manual 16.5.4.
---
 .gdbinit | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/.gdbinit b/.gdbinit
index 098ff6f..d95c8f3 100644
--- a/.gdbinit
+++ b/.gdbinit
@@ -11,8 +11,5 @@ monitor arm semihosting enable
 # # 2000000 is the frequency of the SWO pin
 # monitor tpiu config external uart off 8000000 2000000
 
-# # enable ITM port 0
-# monitor itm port 0 on
-
 load
 step