# SPDX-License-Identifier: GPL-2.0

  menu "Kernel hacking"

  config TRACE_IRQFLAGS_SUPPORT

  	def_bool y

  source "lib/Kconfig.debug"

  config S390_PTDUMP
  	bool "Export kernel pagetable layout to userspace via debugfs"
  	depends on DEBUG_KERNEL
  	select DEBUG_FS
  	---help---
  	  Say Y here if you want to show the kernel pagetable layout in a
  	  debugfs file. This information is only useful for kernel developers
  	  who are working in architecture specific areas of the kernel.
  	  It is probably not a good idea to enable this feature in a production
  	  kernel.
  	  If in doubt, say "N"

  config EARLY_PRINTK
  	def_bool y

  endmenu