PWM IR transmitter

modulename: pwm-ir-tx.ko

configname: CONFIG_IR_PWM_TX

Linux Kernel Configuration
└─>Device Drivers
└─>Remote Controller support
└─>Remote Controller devices
└─>Device Tree and Open Firmware support
└─>PWM IR transmitter
In linux kernel since version 3.10 (release Date: 2013-06-30)  
Say Y if you want to use a PWM based IR transmitter. This is
more power efficient than the bit banging gpio driver.

To compile this driver as a module, choose M here: the module will
be called pwm-ir-tx.

source code: