Lines Matching full:are
14 If you are building a host/card kernel with an Intel MIC device
18 OS and tools for MIC to use with this driver are available from
31 If you are building a host/card kernel with an Intel MIC device
35 OS and tools for MIC to use with this driver are available from
47 If you are building a host/card kernel with an Intel MIC device
51 OS and tools for MIC to use with this driver are available from
65 devices are currently supported.
67 If you are building a host kernel with an Intel MIC device then
71 OS and tools for MIC to use with this driver are available from
85 virtio devices. Intel MIC X100 devices are currently supported.
87 If you are building a card kernel for an Intel MIC device then
106 If you are building a host kernel with an Intel MIC device then
110 OS and tools for MIC to use with this driver are available from
124 If you are building a host kernel with an Intel MIC device then
128 OS and tools for MIC to use with this driver are available from
145 If you are building a host kernel with an Intel MIC device then
149 OS and tools for MIC to use with this driver are available from