# 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