Geoff's VT100 Terminal DIY kit including parts and PCB is available on Tindie. Use PICKit4 to flash the PIC32 Use a Raspberry Pi to flash the PIC32 How to program a PIC Microcontroller using a Raspberry Pi or Orange Pi Pickle Raspberry Pi Setup
