# SPDX-License-Identifier: GPL-2.0

  menu "Kernel hacking"
  
  source "lib/Kconfig.debug"

  config DEBUG_PAGEALLOC

  	bool "Debug page memory allocations"

  	depends on DEBUG_KERNEL && BROKEN

  	help
  	  Unmap pages from the kernel linear mapping after free_pages().
  	  This results in a large slowdown, but helps to find certain types
  	  of memory corruptions.
  
  config FRAME_POINTER
  	bool "Compile the kernel with frame pointers"
  	help
  	  If you say Y here the resulting kernel image will be slightly larger
  	  and slower, but it will give very useful debugging information.
  	  If you don't debug the kernel, you can say N, but we may not be able
  	  to solve problems without frame pointers.
  
  endmenu