Revonzy Mini Shell

# SPDX-License-Identifier: GPL-2.0+
#
# Pvpanic Kconfig
#
# Copyright (C) 2021 Oracle.
#

config PVPANIC
	bool "pvpanic device support"
	help
	  This option allows to select a specific pvpanic device driver.
	  pvpanic is a paravirtualized device provided by QEMU; it lets
	  a virtual machine (guest) communicate panic events to the host.

config PVPANIC_MMIO
	tristate "pvpanic MMIO device support"
	depends on HAS_IOMEM && (ACPI || OF) && PVPANIC
	help
	  This driver provides support for the MMIO pvpanic device.

config PVPANIC_PCI
	tristate "pvpanic PCI device support"
	depends on PCI && PVPANIC
	help
	  This driver provides support for the PCI pvpanic device.
	  pvpanic is a paravirtualized device provided by QEMU which
	  forwards the panic events from the guest to the host.