In the config file, all I can find is the option "CONFIG_DEBUG_INFO_NONE". I am not sure what I should set this to, and what other config options must be set in order for the kernel to be compiled with symbols for debugging. I am trying to use GDB to debug the kernel.