Intel MIC Card Driver

modulename: mic_card.ko

configname: CONFIG_INTEL_MIC_CARD

Linux Kernel Configuration
└─>Device Drivers
└─>Misc devices
└─>Intel MIC & related support
└─>Intel MIC Card Driver
In linux kernel since version 3.10 (release Date: 2013-06-30)  
This enables card driver support for the Intel Many Integrated
Core (MIC) device family. The card driver communicates shutdown/
crash events to the host and allows registration/configuration of
virtio devices. Intel MIC X100 devices are currently supported.

If you are building a card kernel for an Intel MIC device then
say M (recommended) or Y, else say N. If unsure say N.

For more information see
<http://software.intel.com/en-us/mic-developer>.

source code: