The repository for designing the PCB for the VGA-mixer in TDT4295 - View it on GitHub