You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
41 lines
1.4 KiB
41 lines
1.4 KiB
menu "Kernel hacking"
|
|
|
|
#bool 'Debug kmalloc/kfree' CONFIG_DEBUG_MALLOC
|
|
config PROFILING
|
|
bool "Kernel profiling support"
|
|
|
|
config SYSTEM_PROFILER
|
|
bool "System profiling support"
|
|
|
|
config ETRAX_KGDB
|
|
bool "Use kernel GDB debugger"
|
|
---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
|
|
installed, run gdb-cris vmlinux, then type
|
|
|
|
(gdb) set remotebaud 115200 <- kgdb uses 115200 as default
|
|
(gdb) target remote /dev/ttyS0 <- maybe you use another port
|
|
|
|
This should connect you to your booted kernel (or boot it now if you
|
|
didn't before). The kernel halts when it boots, waiting for gdb if
|
|
this option is turned on!
|
|
|
|
|
|
config DEBUG_INFO
|
|
bool "Compile the kernel with debug info"
|
|
help
|
|
If you say Y here the resulting kernel image will include
|
|
debugging info resulting in a larger kernel image.
|
|
Say Y here only if you plan to use gdb to debug the kernel.
|
|
If you don't debug the kernel, you can say N.
|
|
|
|
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
|
|
|