arch/nios2nommu/Kconfig.debug

   1 menu "Kernel hacking"
   2
   3 source "lib/Kconfig.debug"
   4
   5 config FULLDEBUG
   6         bool "Full Symbolic/Source Debugging support"
   7         help
   8           Enable debuging symbols on kernel build.
   9
  10 config FRAME_POINTER
  11         bool "Compile the kernel with frame pointers"
  12         help
  13           If you say Y here the resulting kernel image will be slightly larger
  14           and slower, but it will give very useful debugging information.
  15           If you don't debug the kernel, you can say N, but we may not be able
  16           to solve problems without frame pointers.
  17
  18 config MAGIC_SYSRQ
  19         bool "Magic SysRq key"
  20         help
  21           Enables console device to interpret special characters as
  22           commands to dump state information.
  23
  24 config HIGHPROFILE
  25         bool "Use fast second timer for profiling"
  26         depends on COLDFIRE
  27         help
  28           Use a fast secondary clock to produce profiling information.
  29
  30 config NO_KERNEL_MSG
  31         bool "Suppress Kernel BUG Messages"
  32         help
  33           Do not output any debug BUG messages within the kernel.
  34
  35 endmenu