xref: /linux/drivers/vfio/pci/pds/Makefile (revision 6e7fd890f1d6ac83805409e9c346240de2705584)
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