1comment "Intel MIC Host Driver"
 2
 3config INTEL_MIC_HOST
 4	tristate "Intel MIC Host Driver"
 5	depends on 64BIT && PCI && X86
 6	select VHOST_RING
 7	help
 8	  This enables Host Driver support for the Intel Many Integrated
 9	  Core (MIC) family of PCIe form factor coprocessor devices that
10	  run a 64 bit Linux OS. The driver manages card OS state and
11	  enables communication between host and card. Intel MIC X100
12	  devices are currently supported.
13
14	  If you are building a host kernel with an Intel MIC device then
15	  say M (recommended) or Y, else say N. If unsure say N.
16
17	  More information about the Intel MIC family as well as the Linux
18	  OS and tools for MIC to use with this driver are available from
19	  <http://software.intel.com/en-us/mic-developer>.
20
21comment "Intel MIC Card Driver"
22
23config INTEL_MIC_CARD
24	tristate "Intel MIC Card Driver"
25	depends on 64BIT && X86
26	select VIRTIO
27	help
28	  This enables card driver support for the Intel Many Integrated
29	  Core (MIC) device family. The card driver communicates shutdown/
30	  crash events to the host and allows registration/configuration of
31	  virtio devices. Intel MIC X100 devices are currently supported.
32
33	  If you are building a card kernel for an Intel MIC device then
34	  say M (recommended) or Y, else say N. If unsure say N.
35
36	  For more information see
37	  <http://software.intel.com/en-us/mic-developer>.