I want to display ITM packets over openocd. To do that Tcl Server should be enabled. However, Ac6 calls openocd with the following arguments:
-c gdb_port 3333 -c tcl_port disabled -c telnet_port disabled
Causing those servers to be disabled.. Is there a way to tell the plugin not to do that?