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