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