menu "Kernel hacking"
-source "lib/Kconfig.debug"
-
#bool 'Debug kmalloc/kfree' CONFIG_DEBUG_MALLOC
-config PROFILE
+config PROFILING
bool "Kernel profiling support"
-config PROFILE_SHIFT
- int "Profile shift count"
- depends on PROFILE
- default "2"
+config SYSTEM_PROFILER
+ bool "System profiling support"
+
+source "lib/Kconfig.debug"
config ETRAX_KGDB
bool "Use kernel GDB debugger"
+ depends on DEBUG_KERNEL
---help---
The CRIS version of gdb can be used to remotely debug a running
Linux kernel via the serial debug port. Provided you have gdb-cris
didn't before). The kernel halts when it boots, waiting for gdb if
this option is turned on!
+
+config DEBUG_NMI_OOPS
+ bool "NMI causes oops printout"
+ depends on DEBUG_KERNEL
+ help
+ If the system locks up without any debug information you can say Y
+ here to make it possible to dump an OOPS with an external NMI.
+
endmenu