1# SPDX-License-Identifier: GPL-2.0-only
 2menu "VFIO support for platform devices"
 
 3	depends on ARM || ARM64 || COMPILE_TEST
 4
 5config VFIO_PLATFORM_BASE
 6	tristate
 7	select VFIO_VIRQFD
 8
 9config VFIO_PLATFORM
10	tristate "Generic VFIO support for any platform device"
11	select VFIO_PLATFORM_BASE
12	help
13	  Support for platform devices with VFIO. This is required to make
14	  use of platform devices present on the system using the VFIO
15	  framework.
16
17	  If you don't know what to do here, say N.
18
 
19config VFIO_AMBA
20	tristate "VFIO support for AMBA devices"
21	depends on ARM_AMBA || COMPILE_TEST
22	select VFIO_PLATFORM_BASE
23	help
24	  Support for ARM AMBA devices with VFIO. This is required to make
25	  use of ARM AMBA devices present on the system using the VFIO
26	  framework.
27
28	  If you don't know what to do here, say N.
29
30menu "VFIO platform reset drivers"
31	depends on VFIO_PLATFORM_BASE
32
33source "drivers/vfio/platform/reset/Kconfig"
34endmenu
35endmenu

 1# SPDX-License-Identifier: GPL-2.0-only
 2config VFIO_PLATFORM
 3	tristate "VFIO support for platform devices"
 4	depends on ARM || ARM64 || COMPILE_TEST
 
 
 
 5	select VFIO_VIRQFD
 
 
 
 
 6	help
 7	  Support for platform devices with VFIO. This is required to make
 8	  use of platform devices present on the system using the VFIO
 9	  framework.
10
11	  If you don't know what to do here, say N.
12
13if VFIO_PLATFORM
14config VFIO_AMBA
15	tristate "VFIO support for AMBA devices"
16	depends on ARM_AMBA || COMPILE_TEST
 
17	help
18	  Support for ARM AMBA devices with VFIO. This is required to make
19	  use of ARM AMBA devices present on the system using the VFIO
20	  framework.
21
22	  If you don't know what to do here, say N.
23
 
 
 
24source "drivers/vfio/platform/reset/Kconfig"
25endif