# SPDX-License-Identifier: (GPL-2.0-only OR BSD-3-Clause) */
#
# Copyright (c) 2023 MediaTek Inc.
#
include $(KERNEL_MIXED_BUILD_PATH)/Kbuild.common

obj-$(CONFIG_WS_TSF)   += ws_tsf.o