Here is an STM32H743 / ICE40 8K dev board I worked on last year. I may offer physical hardware / firmware at some point in the future, but the design is valid and I decided to share today, so here it is:
https://github.com/tvelliott/dsp_ice_rev2 in eagle 7.6 format. FSMC connections to the FPGA work great and DMA can be used for access to the FPGA. Ethernet 100 Mbps works great. The only thing I didn't test was the SD card. So double check that before you build one.
[edit] Sorry, just noticed I should not have posted this here without a special OSHW license. Mods, please move to Projects or delete if you want.