CONFIG_XILINX_ML510 is not available for thedefaultarchitecture x86.
Result is shown for architecture powerpc
Xilinx ML510 extra support
modulename: virtex_ml510.ko
configname: CONFIG_XILINX_ML510
Linux Kernel Configuration
└─>Xilinx ML510 extra support
In linux kernel since version 2.6.31 (release Date: 2009-09-09)
This option enables extra support for features on the Xilinx ML510
board. The ML510 has a PCI bus with ALI south bridge.
board. The ML510 has a PCI bus with ALI south bridge.