1# SPDX-License-Identifier: GPL-2.0 2# 3# Makefile - Intel MIC Linux driver. 4# Copyright(c) 2013, Intel Corporation. 5# 6obj-$(CONFIG_INTEL_MIC_HOST) += mic_host.o 7mic_host-objs := mic_main.o 8mic_host-objs += mic_x100.o 9mic_host-objs += mic_smpt.o 10mic_host-objs += mic_intr.o 11mic_host-objs += mic_boot.o 12mic_host-objs += mic_debugfs.o 13