|  | menu "Kernel hacking" | 
|  |  | 
|  | source "lib/Kconfig.debug" | 
|  |  | 
|  | if !MMU | 
|  |  | 
|  | config FULLDEBUG | 
|  | bool "Full Symbolic/Source Debugging support" | 
|  | help | 
|  | Enable debugging symbols on kernel build. | 
|  |  | 
|  | config HIGHPROFILE | 
|  | bool "Use fast second timer for profiling" | 
|  | depends on COLDFIRE | 
|  | help | 
|  | Use a fast secondary clock to produce profiling information. | 
|  |  | 
|  | config BOOTPARAM | 
|  | bool 'Compiled-in Kernel Boot Parameter' | 
|  |  | 
|  | config BOOTPARAM_STRING | 
|  | string 'Kernel Boot Parameter' | 
|  | default 'console=ttyS0,19200' | 
|  | depends on BOOTPARAM | 
|  |  | 
|  | config NO_KERNEL_MSG | 
|  | bool "Suppress Kernel BUG Messages" | 
|  | help | 
|  | Do not output any debug BUG messages within the kernel. | 
|  |  | 
|  | config BDM_DISABLE | 
|  | bool "Disable BDM signals" | 
|  | depends on (EXPERIMENTAL && COLDFIRE) | 
|  | help | 
|  | Disable the ColdFire CPU's BDM signals. | 
|  |  | 
|  | endif | 
|  |  | 
|  | endmenu |