linux-imx

       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