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