I am interested in your board for a project I have prototyped on iceStick so far. I'm using swapForth on the iceStick and have developed a SD card driver and a stereo DAC driver for I2S in verilog, using Digilent PMODs. At this point I need more I/O pins (40 external, some 5V tolerant) and SRAM to continue developing.
My project is a peripheral for vintage TI-99/4A , that allows users to add PMODs and customize the Verilog and FORTH firmware which will be open source.
The Olimex ICE40 board doesn't offer enough I/O, and I'm stuck prototyping on the barely enough I/O on Lattice IceBlink using IceBurn.These are all HX1K boards and I could really use the HX4K.
I'm interested in obtaining an SDK or production board.