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!