1# SPDX-License-Identifier: GPL-2.0-or-later
2#
3# Copyright (C) 2024-2025 Werner Sembach wse@tuxedocomputers.com
4#
5# TUXEDO X86 Platform Specific Drivers
6#
7
8tuxedo_nb04_wmi_ab-y			:= wmi_ab.o
9tuxedo_nb04_wmi_ab-y			+= wmi_util.o
10obj-$(CONFIG_TUXEDO_NB04_WMI_AB)	+= tuxedo_nb04_wmi_ab.o
11