x86: expose CONFIG_PV
authorWei Liu <wei.liu2@citrix.com>
Thu, 4 Oct 2018 09:15:08 +0000 (10:15 +0100)
committerWei Liu <wei.liu2@citrix.com>
Thu, 8 Nov 2018 16:40:20 +0000 (16:40 +0000)
commit657b303878e780b5189c062448ef6eddd0b3f3b1
tree4f07a457ca268ca51a82f487c4a47aa4c9fce511
parent02cd41698504c25849394ba4a5e1a2f722cbd4e7
x86: expose CONFIG_PV

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
xen/arch/x86/Kconfig