Ashling* RiscFree* Integrated Development Environment (IDE) for Intel® FPGAs User Guide

ID 730783
Date 12/14/2023
Public

A newer version of this document is available. Customers should click here to go to the newest version.

Document Table of Contents

6.8.1. Preparing Linux for Kernel Debugging

To allow kernel and module debugging, you must enable the CONFIG_DEBUG_INFO and CONFIG_GDB_SCRIPTS configurations during the Linux kernel's build process. Use the following commands to enable the configuration parameters on top of the default kernel configuration.
make defconfig
./scripts/config --set-val CONFIG_DEBUG_INFO  y
./scripts/config --set-val CONFIG_GDB_SCRIPTS y
make oldconfig
You can also change these options using the make menuconfig command.
Note: Newer kernel versions define the CONFIG_DEBUG_INFO automatically based on other debugging options in the kernel. Refer to your kernel documentation for more details if the above command does not successfully set CONFIG_DEBUG_INFO=y in the resulting kernel .config file.