WX 9100 with S400

Anyone has any experience with the new WX9100 with S400? Do they are work together? Trying to find information but it quite limited whatever I can find. The official page says Genlock support but doesn't elaborate further on that.