17b3d4f44SNick Crews# SPDX-License-Identifier: GPL-2.0 27b3d4f44SNick Crews 34c1ca625SNick Crewswilco_ec-objs := core.o mailbox.o properties.o sysfs.o 47b3d4f44SNick Crewsobj-$(CONFIG_WILCO_EC) += wilco_ec.o 5b787bb12SNick Crewswilco_ec_debugfs-objs := debugfs.o 6b787bb12SNick Crewsobj-$(CONFIG_WILCO_EC_DEBUGFS) += wilco_ec_debugfs.o 7