SEP ADC with Citrix VDI

Hi,

Is the application & device control module of SEP supported in a Citrix VDI environment? Any special configuration needed for it to work?

Does anyone know who are successfully using device control of SEP in Citrix VDI?

Regards,