diff options
Diffstat (limited to 'kernel/drivers/xen/Kconfig')
| -rw-r--r-- | kernel/drivers/xen/Kconfig | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/kernel/drivers/xen/Kconfig b/kernel/drivers/xen/Kconfig index 7cd226da1..73708acce 100644 --- a/kernel/drivers/xen/Kconfig +++ b/kernel/drivers/xen/Kconfig @@ -280,4 +280,15 @@ config XEN_ACPI def_bool y depends on X86 && ACPI +config XEN_SYMS + bool "Xen symbols" + depends on X86 && XEN_DOM0 && XENFS + default y if KALLSYMS + help + Exports hypervisor symbols (along with their types and addresses) via + /proc/xen/xensyms file, similar to /proc/kallsyms + +config XEN_HAVE_VPMU + bool + endmenu |