Hi Jim,
You can download the server certificates from Barco, Dolby, Christie and GDC using
dcpomatic kdm generator.
Just create a cinema and add screens with those server numbers and the program will let
you download the certificates.
You can generate KDMs using the program for these screens or you can copy the certificate
files which are saved in the cinemas.xml file.
Best
Hakan