#
  # Makefile - Intel MIC Linux driver.
  # Copyright(c) 2013, Intel Corporation.
  #
  obj-$(CONFIG_INTEL_MIC_HOST) += mic_host.o
  mic_host-objs := mic_main.o
  mic_host-objs += mic_x100.o
  mic_host-objs += mic_smpt.o
  mic_host-objs += mic_intr.o
  mic_host-objs += mic_boot.o
  mic_host-objs += mic_debugfs.o
  mic_host-objs += mic_fops.o
  mic_host-objs += mic_virtio.o