Xilinx Video IP (EXPERIMENTAL)

modulename: xilinx-video.ko

configname: CONFIG_VIDEO_XILINX

Linux Kernel Configuration
└─>Device Drivers
└─>Multimedia support
└─>V4L platform devices
└─>Device Tree and Open Firmware support
└─>Xilinx Video IP (EXPERIMENTAL)
In linux kernel since version 3.10 (release Date: 2013-06-30)  
Driver for Xilinx Video IP Pipelines

source code: