menu "Kernel hacking"
  
  config TRACE_IRQFLAGS_SUPPORT
  	bool
  	default y
  
  source "lib/Kconfig.debug"
  
  endmenu