1comment "Intel MIC Bus Driver"
2
3config 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
18comment "SCIF Bus Driver"
19
20config SCIF_BUS
21	tristate "SCIF Bus Driver"
22	depends on 64BIT && PCI && X86 && X86_DEV_DMA_OPS
23	help
24	  This option is selected by any driver which registers a
25	  device or driver on the SCIF Bus, such as CONFIG_INTEL_MIC_HOST
26	  and CONFIG_INTEL_MIC_CARD.
27
28	  If you are building a host/card kernel with an Intel MIC device
29	  then say M (recommended) or Y, else say N. If unsure say N.
30
31	  More information about the Intel MIC family as well as the Linux
32	  OS and tools for MIC to use with this driver are available from
33	  <http://software.intel.com/en-us/mic-developer>.
34
35comment "Intel MIC Host Driver"
36
37config INTEL_MIC_HOST
38	tristate "Intel MIC Host Driver"
39	depends on 64BIT && PCI && X86 && INTEL_MIC_BUS && SCIF_BUS && MIC_COSM
40	select VHOST_RING
41	help
42	  This enables Host Driver support for the Intel Many Integrated
43	  Core (MIC) family of PCIe form factor coprocessor devices that
44	  run a 64 bit Linux OS. The driver manages card OS state and
45	  enables communication between host and card. Intel MIC X100
46	  devices are currently supported.
47
48	  If you are building a host kernel with an Intel MIC device then
49	  say M (recommended) or Y, else say N. If unsure say N.
50
51	  More information about the Intel MIC family as well as the Linux
52	  OS and tools for MIC to use with this driver are available from
53	  <http://software.intel.com/en-us/mic-developer>.
54
55comment "Intel MIC Card Driver"
56
57config INTEL_MIC_CARD
58	tristate "Intel MIC Card Driver"
59	depends on 64BIT && X86 && INTEL_MIC_BUS && SCIF_BUS && MIC_COSM
60	select VIRTIO
61	help
62	  This enables card driver support for the Intel Many Integrated
63	  Core (MIC) device family. The card driver communicates shutdown/
64	  crash events to the host and allows registration/configuration of
65	  virtio devices. Intel MIC X100 devices are currently supported.
66
67	  If you are building a card kernel for an Intel MIC device then
68	  say M (recommended) or Y, else say N. If unsure say N.
69
70	  For more information see
71	  <http://software.intel.com/en-us/mic-developer>.
72
73comment "SCIF Driver"
74
75config SCIF
76	tristate "SCIF Driver"
77	depends on 64BIT && PCI && X86 && SCIF_BUS && IOMMU_SUPPORT
78	select IOMMU_IOVA
79	help
80	  This enables SCIF Driver support for the Intel Many Integrated
81	  Core (MIC) family of PCIe form factor coprocessor devices that
82	  run a 64 bit Linux OS. The Symmetric Communication Interface
83	  (SCIF (pronounced as skiff)) is a low level communications API
84	  across PCIe currently implemented for MIC.
85
86	  If you are building a host kernel with an Intel MIC device then
87	  say M (recommended) or Y, else say N. If unsure say N.
88
89	  More information about the Intel MIC family as well as the Linux
90	  OS and tools for MIC to use with this driver are available from
91	  <http://software.intel.com/en-us/mic-developer>.
92
93comment "Intel MIC Coprocessor State Management (COSM) Drivers"
94
95config MIC_COSM
96	tristate "Intel MIC Coprocessor State Management (COSM) Drivers"
97	depends on 64BIT && PCI && X86 && SCIF
98	help
99	  This enables COSM driver support for the Intel Many
100	  Integrated Core (MIC) family of PCIe form factor coprocessor
101	  devices. COSM drivers implement functions such as boot,
102	  shutdown, reset and reboot of MIC devices.
103
104	  If you are building a host kernel with an Intel MIC device then
105	  say M (recommended) or Y, else say N. If unsure say N.
106
107	  More information about the Intel MIC family as well as the Linux
108	  OS and tools for MIC to use with this driver are available from
109	  <http://software.intel.com/en-us/mic-developer>.
110