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

ID 730783
Date 12/14/2023
Public
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.