CONFIG_DVB_AV7110_IR (not configurable)

configname: CONFIG_DVB_AV7110_IR

Linux Kernel Configuration
└─>Device Drivers
└─>Multimedia support
└─>Media PCI Adapters
└─>DVB_AV7110_IR
In linux kernel since version 3.10 (release Date: 2013-06-30)