Xilinx XADC driver

modulename: xilinx-xadc.ko

configname: CONFIG_XILINX_XADC

Linux Kernel Configuration
└─>Device Drivers
└─>Industrial I/O support
└─>Analog to digital converters
└─>Xilinx XADC driver
In linux kernel since version 3.10 (release Date: 2013-06-30)  
Say yes here to have support for the Xilinx XADC. The driver does support
both the ZYNQ interface to the XADC as well as the AXI-XADC interface.

The driver can also be build as a module. If so, the module will be called
xilinx-xadc.

source code: