drivers/vfio/cdx/Makefile - third_party/kernel - Git at Google

 # SPDX-License-Identifier: GPL-2.0
 #
 # Copyright (C) 2022-2023, Advanced Micro Devices, Inc.
 #

 obj-$(CONFIG_VFIO_CDX) += vfio-cdx.o

 vfio-cdx-objs := main.o intr.o
	# SPDX-License-Identifier: GPL-2.0
	#
	# Copyright (C) 2022-2023, Advanced Micro Devices, Inc.
	#

	obj-$(CONFIG_VFIO_CDX) += vfio-cdx.o

	vfio-cdx-objs := main.o intr.o