diff options
Diffstat (limited to 'arch/Kconfig')
| -rw-r--r-- | arch/Kconfig | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/arch/Kconfig b/arch/Kconfig index 5b448a74d0f7..a6f14f622d13 100644 --- a/arch/Kconfig +++ b/arch/Kconfig | |||
| @@ -120,6 +120,9 @@ config HAVE_KRETPROBES | |||
| 120 | 120 | ||
| 121 | config HAVE_OPTPROBES | 121 | config HAVE_OPTPROBES |
| 122 | bool | 122 | bool |
| 123 | |||
| 124 | config HAVE_NMI_WATCHDOG | ||
| 125 | bool | ||
| 123 | # | 126 | # |
| 124 | # An arch should select this if it provides all these things: | 127 | # An arch should select this if it provides all these things: |
| 125 | # | 128 | # |