# SPDX-License-Identifier: GPL-2.0-only
#
# Makefile for drivers that support virtualization
#

obj-$(CONFIG_X86_TCC_PTCM)	+= tcc_buffer.o
