17b3d4f44SNick Crews# SPDX-License-Identifier: GPL-2.0
27b3d4f44SNick Crews
37b3d4f44SNick Crewswilco_ec-objs				:= core.o mailbox.o
47b3d4f44SNick Crewsobj-$(CONFIG_WILCO_EC)			+= wilco_ec.o
5