diff options
Diffstat (limited to 'arch/x86/Kconfig')
-rw-r--r-- | arch/x86/Kconfig | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/arch/x86/Kconfig b/arch/x86/Kconfig index 9441e46cb49b..67e5275f03c8 100644 --- a/arch/x86/Kconfig +++ b/arch/x86/Kconfig | |||
@@ -435,6 +435,13 @@ config PARAVIRT_CLOCK | |||
435 | 435 | ||
436 | endif | 436 | endif |
437 | 437 | ||
438 | config PARAVIRT_DEBUG | ||
439 | bool "paravirt-ops debugging" | ||
440 | depends on PARAVIRT && DEBUG_KERNEL | ||
441 | help | ||
442 | Enable to debug paravirt_ops internals. Specifically, BUG if | ||
443 | a paravirt_op is missing when it is called. | ||
444 | |||
438 | config MEMTEST | 445 | config MEMTEST |
439 | bool "Memtest" | 446 | bool "Memtest" |
440 | depends on X86_64 | 447 | depends on X86_64 |