Arduino board package for doppler (SAMD51 Cortex M4F + ICE40up5K FPGA) - View it on GitHub