Open-source boards designed in KiCad by bson on GitHub, from 2 repositories. A board’s address here is its repository’s there.
bson/ns32k
NS32k Toy PCB
bson/stm32simh