# SPDX-License-Identifier: GPL-2.0## Makefile for linux/drivers/platform/x86/hp# HP x86 Platform-Specific Drivers## Hewlett Packardobj-$(CONFIG_HP_ACCEL)+=hp_accel.o
obj-$(CONFIG_HP_WMI)+=hp-wmi.o
obj-$(CONFIG_TC1100_WMI)+=tc1100-wmi.o
obj-$(CONFIG_HP_BIOSCFG)+=hp-bioscfg/