Add the rt linux 4.1.3-rt3 as base
[kvmfornfv.git] / kernel / drivers / misc / mic / Kconfig
1 comment "Intel MIC Bus Driver"
2
3 config INTEL_MIC_BUS
4         tristate "Intel MIC Bus Driver"
5         depends on 64BIT && PCI && X86 && X86_DEV_DMA_OPS
6         help
7           This option is selected by any driver which registers a
8           device or driver on the MIC Bus, such as CONFIG_INTEL_MIC_HOST,
9           CONFIG_INTEL_MIC_CARD, CONFIG_INTEL_MIC_X100_DMA etc.
10
11           If you are building a host/card kernel with an Intel MIC device
12           then say M (recommended) or Y, else say N. If unsure say N.
13
14           More information about the Intel MIC family as well as the Linux
15           OS and tools for MIC to use with this driver are available from
16           <http://software.intel.com/en-us/mic-developer>.
17
18 comment "Intel MIC Host Driver"
19
20 config INTEL_MIC_HOST
21         tristate "Intel MIC Host Driver"
22         depends on 64BIT && PCI && X86 && INTEL_MIC_BUS
23         select VHOST_RING
24         help
25           This enables Host Driver support for the Intel Many Integrated
26           Core (MIC) family of PCIe form factor coprocessor devices that
27           run a 64 bit Linux OS. The driver manages card OS state and
28           enables communication between host and card. Intel MIC X100
29           devices are currently supported.
30
31           If you are building a host kernel with an Intel MIC device then
32           say M (recommended) or Y, else say N. If unsure say N.
33
34           More information about the Intel MIC family as well as the Linux
35           OS and tools for MIC to use with this driver are available from
36           <http://software.intel.com/en-us/mic-developer>.
37
38 comment "Intel MIC Card Driver"
39
40 config INTEL_MIC_CARD
41         tristate "Intel MIC Card Driver"
42         depends on 64BIT && X86 && INTEL_MIC_BUS
43         select VIRTIO
44         help
45           This enables card driver support for the Intel Many Integrated
46           Core (MIC) device family. The card driver communicates shutdown/
47           crash events to the host and allows registration/configuration of
48           virtio devices. Intel MIC X100 devices are currently supported.
49
50           If you are building a card kernel for an Intel MIC device then
51           say M (recommended) or Y, else say N. If unsure say N.
52
53           For more information see
54           <http://software.intel.com/en-us/mic-developer>.