The board has two 16MHz clocks, is one of them available as a PLL reference frequency? I have some code that runs on a Mach X02 at 13.1 MHz and it would be easiest to just generate that via the PLL.
Thanks!
EDIT: Looking at the icestorm docs for the iCE40UP series, it looks like the PLL isn’t supported. So it’s off to Plan B for me !