Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


Merge branch 'devel'
[palacios.git] / kitten / lib / Kconfig.debug
1 config DEBUG_KERNEL
2         bool "Kernel debugging"
3         help
4           Say Y here if you are developing drivers or trying to debug and
5           identify kernel problems.
6
7 config LOG_BUF_SHIFT
8         int "Kernel log buffer size (16 => 64KB, 17 => 128KB)" if DEBUG_KERNEL
9         range 12 21
10         default 15
11         help
12           Select kernel log buffer size as a power of 2.
13           Defaults and Examples:
14                      17 => 128 KB
15                      16 => 64 KB
16                      15 => 32 KB
17                      14 => 16 KB
18                      13 =>  8 KB
19                      12 =>  4 KB
20
21 config DEBUG_MUTEXES
22         bool "Mutex debugging, deadlock detection"
23         default n
24         depends on DEBUG_KERNEL
25         help
26          This allows mutex semantics violations and mutex related deadlocks
27          (lockups) to be detected and reported automatically.
28
29 config DEBUG_SPINLOCK
30         bool "Spinlock debugging"
31         depends on DEBUG_KERNEL
32         help
33           Say Y here and build SMP to catch missing spinlock initialization
34           and certain other kinds of spinlock errors commonly made.  This is
35           best used in conjunction with the NMI watchdog so that spinlock
36           deadlocks are also debuggable.
37
38 config DEBUG_SPINLOCK_SLEEP
39         bool "Sleep-inside-spinlock checking"
40         depends on DEBUG_KERNEL
41         help
42           If you say Y here, various routines which may sleep will become very
43           noisy if they are called with a spinlock held.
44
45 config DEBUG_BUGVERBOSE
46         bool "Verbose BUG() reporting (adds 70K)" if DEBUG_KERNEL && EMBEDDED
47         depends on BUG
48         depends on ARM || ARM26 || M32R || M68K || SPARC32 || SPARC64 || X86_32 || FRV
49         default !EMBEDDED
50         help
51           Say Y here to make BUG() panics output the file name and line number
52           of the BUG call as well as the EIP and oops trace.  This aids
53           debugging but costs about 70-100K of memory.
54
55 config DEBUG_INFO
56         bool "Compile the kernel with debug info"
57         depends on DEBUG_KERNEL
58         help
59           If you say Y here the resulting kernel image will include
60           debugging info resulting in a larger kernel image.
61           Say Y here only if you plan to debug the kernel.
62
63           If unsure, say N.
64
65 config FRAME_POINTER
66         bool "Compile the kernel with frame pointers"
67         depends on DEBUG_KERNEL
68         default y if DEBUG_INFO && UML
69         help
70           If you say Y here the resulting kernel image will be slightly larger
71           and slower, but it might give very useful debugging information on
72           some architectures or if you use external debuggers.
73           If you don't debug the kernel, you can say N.
74
75 config UNWIND_INFO
76         bool "Compile the kernel with frame unwind information"
77         depends on !IA64
78         depends on !MODULES || !(MIPS || PARISC || PPC || SUPERH || V850)
79         help
80           If you say Y here the resulting kernel image will be slightly larger
81           but not slower, and it will give very useful debugging information.
82           If you don't debug the kernel, you can say N, but we may not be able
83           to solve problems without frame unwind information or frame pointers.
84
85 config FORCED_INLINING
86         bool "Force gcc to inline functions marked 'inline'"
87         depends on DEBUG_KERNEL
88         default y
89         help
90           This option determines if the kernel forces gcc to inline the functions
91           developers have marked 'inline'. Doing so takes away freedom from gcc to
92           do what it thinks is best, which is desirable for the gcc 3.x series of
93           compilers. The gcc 4.x series have a rewritten inlining algorithm and
94           disabling this option will generate a smaller kernel there. Hopefully
95           this algorithm is so good that allowing gcc4 to make the decision can
96           become the default in the future, until then this option is there to
97           test gcc for this.
98