/usr/src/kernels/4.18.0-553.157.1.el8_10.x86_64/drivers/misc/mic/host
Edit: /usr/src/kernels/4.18.0-553.157.1.el8_10.x86_64/drivers/misc/mic/host/Makefile (330B)
# SPDX-License-Identifier: GPL-2.0
#
# 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