# SPDX-License-Identifier: GPL-2.0
#
# Makefile for the in-kernel vsock server.
#
# Copyright (C) 2019 Alibaba, Inc
#
# This program is free software; you can redistribute it and/or
# modify it under the terms of the GNU General Public License
# as published by the Free Software Foundation; either version
# 2 of the License, or (at your option) any later version.
#

obj-$(CONFIG_DRAGONBALL_VSOCK_SRV) 	+= dragonball_vsock_srv.o
obj-$(CONFIG_DRAGONBALL_VEBPF)      += dragonball_vebpf.o
obj-$(CONFIG_DRAGONBALL_DEVICE_MANAGER)	+= dragonball_device_manager.o
