Many thanks to microbuilder for his LPC810 Codebase, on which this is based.
For more information on this project, please consult:
http://phk.freebsd.dk/hacks/HP5065A/20151225_clock/index.html
and
http://phk.freebsd.dk/hacks/HP5065A/20160112_working_clock/index.html
I have a few spare PCBs if you are interested.
You can find the KICAD files for the PCB in PCB_kicad.zip, and the gerbers I used for production in PCB_gerbers.zip.
phk