19fca2b7dSJohn Levon# SPDX-License-Identifier: GPL-2.0-or-later 29fca2b7dSJohn Levon 39fca2b7dSJohn Levonvfio_user_ss = ss.source_set() 49fca2b7dSJohn Levonvfio_user_ss.add(files( 59fca2b7dSJohn Levon 'container.c', 6*3bdb738bSJohn Levon 'device.c', 79fca2b7dSJohn Levon 'pci.c', 8438d863fSJohn Levon 'proxy.c', 99fca2b7dSJohn Levon)) 109fca2b7dSJohn Levon 119fca2b7dSJohn Levonsystem_ss.add_all(when: 'CONFIG_VFIO_USER', if_true: vfio_user_ss) 12