Open-source boards designed in KiCad by robotman2412 on GitHub, from 2 repositories. A board’s address here is its repository’s there.
robotman2412/pixieboard
robotman2412/PX16
Pixie 16, taking RISC to the extreme.