Programming the iCE40HX1K-EVB board with chipKit Max32

[elNahual]

Has anyone tried to program the iCE40HX1K-EVB board with chipKIT Max32? Theoretically, the board works at 3V3 power supply and has a standard ISP connector on it.

Apparently, it would be sufficient:
- making a programming cable (from ISP - 6 pins to UEXT - 10 pins)
- compiling icprog.ino
- uploading the program to the iCE40HX1K-EVB