mirror of
https://github.com/edk2-porting/linux-next.git
synced 2024-12-17 09:43:59 +08:00
80d26236c7
This fixes build failures seen on certain non X86 architectures. The card driver should correctly always depend on X86. The host driver can potentially work on non X86 architectures although it has never been built or validated in such configurations. The host driver dependency on X86 can be removed at some point in the future but this workaround is required for now. Reported-by: Fengguang Wu <fengguang.wu@intel.com> Reported-by: Stephen Rothwell <sfr@canb.auug.org.au> Signed-off-by: Ashutosh Dixit <ashutosh.dixit@intel.com> Signed-off-by: Dasaratharaman Chandramouli <dasaratharaman.chandramouli@intel.com> Signed-off-by: Nikhil Rao <nikhil.rao@intel.com> Signed-off-by: Harshavardhan R Kharche <harshavardhan.r.kharche@intel.com> Signed-off-by: Sudeep Dutt <sudeep.dutt@intel.com> Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>
40 lines
1.4 KiB
Plaintext
40 lines
1.4 KiB
Plaintext
comment "Intel MIC Host Driver"
|
|
|
|
config INTEL_MIC_HOST
|
|
tristate "Intel MIC Host Driver"
|
|
depends on 64BIT && PCI && X86
|
|
select VHOST_RING
|
|
default N
|
|
help
|
|
This enables Host Driver support for the Intel Many Integrated
|
|
Core (MIC) family of PCIe form factor coprocessor devices that
|
|
run a 64 bit Linux OS. The driver manages card OS state and
|
|
enables communication between host and card. Intel MIC X100
|
|
devices are currently supported.
|
|
|
|
If you are building a host kernel with an Intel MIC device then
|
|
say M (recommended) or Y, else say N. If unsure say N.
|
|
|
|
More information about the Intel MIC family as well as the Linux
|
|
OS and tools for MIC to use with this driver are available from
|
|
<http://software.intel.com/en-us/mic-developer>.
|
|
|
|
comment "Intel MIC Card Driver"
|
|
|
|
config INTEL_MIC_CARD
|
|
tristate "Intel MIC Card Driver"
|
|
depends on 64BIT && X86
|
|
select VIRTIO
|
|
default N
|
|
help
|
|
This enables card driver support for the Intel Many Integrated
|
|
Core (MIC) device family. The card driver communicates shutdown/
|
|
crash events to the host and allows registration/configuration of
|
|
virtio devices. Intel MIC X100 devices are currently supported.
|
|
|
|
If you are building a card kernel for an Intel MIC device then
|
|
say M (recommended) or Y, else say N. If unsure say N.
|
|
|
|
For more information see
|
|
<http://software.intel.com/en-us/mic-developer>.
|