Do you know if there any example of setting the rt patch with Xilinx kernel? 
the default procedure not working as you say it’s for the vanilla kernel.

 

Regards,

Haim