Intel® System Debugger User Guide

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

Manual Loading of a Linux* Kernel

To manually load a Linux* kernel, follow the steps below:

  1. Halt the target.

  2. Load the Linux* kernel (vmlinux):

    1. Right-click a desired hardware thread in the Debug view and select Symbol Files

      symbols_manual

    2. In the opened dialog box, click Add and specify the path to vmlinux.

    3. Click OK and exit the dialog.