Open-source boards designed in KiCad by petersn on GitHub, from 2 repositories. A board’s address here is its repository’s there.
petersn/micro1
Simple microprocessor with off-die SPI SRAM
petersn/usb-gpio