I originally used the Arduino programmer and Ben's code to generate the ROM data, and read the binary data back with a TL866-II programmer.
Original binary files available here.

After a major change to the Control Module in handling flags and conditional branching, I needed to generate my own binaries. As I am not proficient in Python, and no longer wanted to use the Arduino programmer, I wrote my own TCL programs to generate the binaries for me.

• Microcode Binary Generator

• Display Binary Generator