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