I recently (well over the past few months
![Very Happy :D](./images/smilies/icon_biggrin.gif)
I've attached the KiCAD project for anyone that wants to make use of it.
I had the boards manufactured by JLCPCB and used LCSC for most of the components (I wanted to give the service a go since I might use it for future projects and they offer combined shipping). Boards came out fine and were very cheap - although the gold fingers were missing on the cartridge interface board.
I had to substitute a couple of the parts due to availability. These were a AT24C128C-SSHM-T for the USB flash and W9812G6KH-6 for the RAM both are working fine.
I tried to substitute a AT25SF041-SHD-T for the FPGA flash but this wasn't recognised by the programmer script. I ended up purchasing a pack of M25P40-VMN6 from China (since they're no longer available elsewhere).
There were some issues with the Cypress USB chip not being recognised by the PC (possibly an oscillator issue) and in the end I bought a dev board from Aliexpress and hot-aired off the chip it came with. Amazingly the 'faulty' IC worked when soldered on to the dev board so I'm not sure what the problem was.
If anyone's interested in buying some of the spare boards (I've got 9 of each unused) then please let me know.