tcl/interface/vdebug.cfg

   1 # SPDX-License-Identifier: GPL-2.0-or-later
   2 # Cadence virtual debug interface
   3
   4 if { [info exists VDEBUGHOST] } {
   5         set _VDEBUGHOST $VDEBUGHOST
   6 } else {
   7         set _VDEBUGHOST localhost
   8 }
   9 if { [info exists VDEBUGPORT] } {
  10         set _VDEBUGPORT $VDEBUGPORT
  11 } else {
  12         set _VDEBUGPORT 8192
  13 }
  14
  15 adapter driver vdebug
  16 # vdebug server:port
  17 vdebug server $_VDEBUGHOST:$_VDEBUGPORT
  18
  19 # example config debug level and log
  20 #debug_level 3
  21 #log_output vd_ocd.log
  22
  23 # example config listen on all interfaces, disable tcl/telnet server
  24 bindto 0.0.0.0
  25 #gdb_port 3333
  26 #telnet_port disabled
  27 tcl_port disabled
  28
  29 # transaction batching: 0 - no batching, 1 - (default) wr, 2 - rw
  30 vdebug batching 1
  31
  32 # Polling values
  33 vdebug polling 100 1000