xref: /linux/drivers/vfio/pci/pds/Makefile (revision a940daa52167e9db8ecce82213813b735a9d9f23)
1# SPDX-License-Identifier: GPL-2.0
2# Copyright (c) 2023 Advanced Micro Devices, Inc.
3
4obj-$(CONFIG_PDS_VFIO_PCI) += pds-vfio-pci.o
5
6pds-vfio-pci-y := \
7	cmds.o		\
8	dirty.o		\
9	lm.o		\
10	pci_drv.o	\
11	vfio_dev.o
12