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