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', 69fca2b7dSJohn Levon 'pci.c', 7*438d863fSJohn Levon 'proxy.c', 89fca2b7dSJohn Levon)) 99fca2b7dSJohn Levon 109fca2b7dSJohn Levonsystem_ss.add_all(when: 'CONFIG_VFIO_USER', if_true: vfio_user_ss) 11