|
@@ -465,20 +465,6 @@ config FRAME_POINTER
|
|
|
some architectures or if you use external debuggers.
|
|
|
If you don't debug the kernel, you can say N.
|
|
|
|
|
|
-config FORCED_INLINING
|
|
|
- bool "Force gcc to inline functions marked 'inline'"
|
|
|
- depends on DEBUG_KERNEL
|
|
|
- default y
|
|
|
- help
|
|
|
- This option determines if the kernel forces gcc to inline the functions
|
|
|
- developers have marked 'inline'. Doing so takes away freedom from gcc to
|
|
|
- do what it thinks is best, which is desirable for the gcc 3.x series of
|
|
|
- compilers. The gcc 4.x series have a rewritten inlining algorithm and
|
|
|
- disabling this option will generate a smaller kernel there. Hopefully
|
|
|
- this algorithm is so good that allowing gcc4 to make the decision can
|
|
|
- become the default in the future, until then this option is there to
|
|
|
- test gcc for this.
|
|
|
-
|
|
|
config BOOT_PRINTK_DELAY
|
|
|
bool "Delay each boot printk message by N milliseconds"
|
|
|
depends on DEBUG_KERNEL && PRINTK && GENERIC_CALIBRATE_DELAY
|