2 boards publicly available on BoardRepo.
Allwinner V3S board with mini PCIe slot for 4G LTE module
CPLD VHDL project for precise time stamping of events