Intel® System Debugger User Guide

ID 648476
Date 06/13/2024
Confidential
Document Table of Contents

Remote HW debugging with Intel(R) Debug Extensions for WinDbg*

This chapter describes set-up and configuration of Intel(R) Debug Extensions for WinDbg* so you can perform basic debugging operations on remote hardware.

Prerequisites

  • The remote debugging host should be accessible through TCP from the local host.

  • The remote host should be connected through a probe to the target to be debugged.

  • If you are using the Intel cloud infrastructure for the first host, you should have access to an instance with ISD installed.

  • WinDbg or WinDbg Preview should be available in the local host.

Environment setup for remote debugging

Preparation of the remote physical debugging host

  1. Install ISD in the default directory (C:IntelSWTools).
    • Attention: Setup will not work if ISD is installed in another directory!

  2. Connect the host to the device to be debugged through a probe.
    • Tip: Target Indicator can be used to confirm the connection is functional.

  3. Note down the IP of this machine for step #2 below.

Setup of the WinDbg local host

  1. Run a first instance of isd_​shell.

  2. Run isd_​cli.

3. Type in the following command:

tca.start_remote_isd_light("*<IP of remote debugging host mentioned above>*")
  1. Type in the username and password to log on and use ISD in the remote machine.

  2. Note the port number returned by the command above.

  1. Run a second instance of isd_​shell.

2. Set the following environment variable:

set TCF_PORT=127.0.0.1:*<port number returned from previous command>*
  1. Run windbg_​remote_​hw