Support for iCE40UL1K possible?

[miguelfreitas]

Hi folks! I have just received two devel boards with iCE40UL1K for a project and, as far as I understand, there is no support for this device, correct? It seems only iCE40LP1K is supported so i'd assume they are different enough the bitfiles are not compatible.

I'm not meant to clueless request anyone to work on it, but rather get some info if it is possible to contribute in any way adding support for this device. I don't know what reverse engineering approach was used in adding support for other devices (comparing outputs from Lattice tools' maybe?) so if anyone could give me any pointers I'd greatly appreciate!

thanks!

[ThibaultTostain]

Hi @miguelfreitas ! I’d like to use the ICE40UL1K-B-EVN board as well. If you’ve found any information on how to program it, could you please share it? (proprietary or not, though I’d prefer open-source if available). Thanks in advance!

P.S.: I’d also be interested in adding this chip here, but I’m not sure how to go about it. If anyone can help us get started, I’d be grateful for any guidance.