+ prompt "PV support"
+ Interfaces to support PV domains. These require guest kernel support
+ to run as a PV guest, but don't require any specific hardware support.
+ This option is needed if you want to run PV domains.
+ If unsure, say Y.
bool "Support for PV linear pagetables"
generated by git-patchbot for /home/xen/git/xen.git#staging