# SPDX-License-Identifier: GPL-2.0
#
# Makefile for Dragonball misc drivers
#

obj-$(CONFIG_DRAGONBALL_DRIVERS)	+= dragonball.o
obj-$(CONFIG_DRAGONBALL_DRIVERS)	+= platform_feature.o
obj-$(CONFIG_DRAGONBALL_VSOCK_SRV)	+= vsock_srv/
obj-$(CONFIG_PVDMA) += pvdma/
obj-$(CONFIG_DRAGONBALL_PIO2MMIO) += pio2mmio/
obj-$(CONFIG_DRAGONBALL_PVPANIC) += pvpanic/
obj-$(CONFIG_DRAGONBALL_PVDUMP) += pvdump/
