Roku Express 4K model 3940X IR Drivers

Can anyone supply the IR drivers for Roku model 3940X ?

I need to load them onto a Crestron control  system.