diff options
Diffstat (limited to 'drivers/xen/Kconfig')
| -rw-r--r-- | drivers/xen/Kconfig | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/drivers/xen/Kconfig b/drivers/xen/Kconfig index 126d8ce591ce..cabfa97f4674 100644 --- a/drivers/xen/Kconfig +++ b/drivers/xen/Kconfig | |||
| @@ -206,4 +206,7 @@ config XEN_MCE_LOG | |||
| 206 | Allow kernel fetching MCE error from Xen platform and | 206 | Allow kernel fetching MCE error from Xen platform and |
| 207 | converting it into Linux mcelog format for mcelog tools | 207 | converting it into Linux mcelog format for mcelog tools |
| 208 | 208 | ||
| 209 | config XEN_HAVE_PVMMU | ||
| 210 | bool | ||
| 211 | |||
| 209 | endmenu | 212 | endmenu |