# SPDX-License-Identifier: GPL-2.0-only
#
# Makefile for drivers that support virtualization
obj-$(CONFIG_X86_TCC_PTCM) += tcc_buffer.o