YouTube video with demo: https://youtu.be/wE-y6hiQBts
Demo of FPGA with VGA screen & keyboard.
In WSL Ubuntu 16.04 (https://www.microsoft.com/en-us/store/p/ubuntu/9nblggh4msv6) in Windows 10:
~$ cp -r iCE40HX8K-EVB/demo/ice40-io-video/ icestorm/examples/
~$ cd icestorm/examples/ice40-io-video/
~/icestorm/examples/ice40-io-video$ cp example.bin /mnt/c/Users/pi/Downloads/
An Arduino Leonardo compatible set to 3.3V (Olimexino-32U4) shows up on COM5 and is connected via UEXT cable to the FPGA.
In Cmd.exe in Windows 10 in Downloads-folder:
winiceprogduino.exe -Icom5 example.bin
It is possible to communicate directly with serial devices from WSL Ubuntu e.g. COM5 becomes /dev/ttyS5, but I could not get it to work in this case but I have gotten it to work with other systems. I think the programmer for Linux does a lot of ioctl maneuvers that WSL Ubuntu isn't up to yet.
I also tried to use the programmer for Windows inside WSL Ubuntu, but this did also not work, which is stranger.
I think I will report these issues to WSL on GitHub (https://github.com/Microsoft/WSL/issues), but I should test it in native Linux first.