17b3d4f44SNick Crews# SPDX-License-Identifier: GPL-2.0
27b3d4f44SNick Crews
3119a3cb6SDaniel Campellowilco_ec-objs				:= core.o keyboard_leds.o mailbox.o \
4119a3cb6SDaniel Campello					   properties.o sysfs.o
57b3d4f44SNick Crewsobj-$(CONFIG_WILCO_EC)			+= wilco_ec.o
6b787bb12SNick Crewswilco_ec_debugfs-objs			:= debugfs.o
7b787bb12SNick Crewsobj-$(CONFIG_WILCO_EC_DEBUGFS)		+= wilco_ec_debugfs.o
8f7b0bc5eSNick Crewswilco_ec_events-objs			:= event.o
9f7b0bc5eSNick Crewsobj-$(CONFIG_WILCO_EC_EVENTS)		+= wilco_ec_events.o
101210d1e6SNick Crewswilco_ec_telem-objs			:= telemetry.o
111210d1e6SNick Crewsobj-$(CONFIG_WILCO_EC_TELEMETRY)	+= wilco_ec_telem.o
12