1# SPDX-License-Identifier: GPL-2.0-or-later 2 3config VFIO_USER 4 bool 5 default y 6 depends on VFIO_PCI 7 8