1 board publicly available on BoardRepo.
Open Hardware Pinguino boards (and extensions) CAD files (Kicad)