# Debug related settings

# Enable /proc/config.gz to allow the guest to query the kernel
# configuration used for the running kernel.
CONFIG_IKCONFIG=y
CONFIG_IKCONFIG_PROC=y

# Enable debugging features for the kernel
CONFIG_DEBUG_INFO=y
CONFIG_DEBUG_KERNEL=y
CONFIG_DEBUG_FS=y
CONFIG_DEBUG_INFO_DWARF_TOOLCHAIN_DEFAULT=y