Open-source boards designed in KiCad by JavierIH on GitHub, from 2 repositories. A board’s address here is its repository’s there.
JavierIH/kame32
JavierIH/pandatron_hw
Pandatron PCB sources