CONFIG_HVM=y
# CONFIG_PV is not set
# CONFIG_DEBUG is not set
