Open-source boards designed in KiCad by Panda381 on GitHub, from 2 repositories. A board’s address here is its repository’s there.
Panda381/BarePi
Modular Microchip Kit