The board is Open Source Hardware ( under GPLv2, non commercial usage, for commercial usage and custom designs please feel free to contact me ) and come with plenty of example designs around ATmega/Xmega and RISCv soft cores with the default PIO, UART, TWI, TIMER's, SPI and other peripherals that are found in an ATmega uC, all RTL source code is licensed under GPLv2.
arduFPGA iCE40UP5K V1.1 is a FPGA development board in arduino R3 format that is fully compatible with all arduino R3 extension boards that accept 3.3V signal levels and more because each IO pin can have every possible function, this board by default is governed by two boot-loaders to load the user applications from a uSD memory card, by default come with a GUI to navigate the uSD memory card and load and run arduboy compatible games or applications on a reduced ATmega32u4 soft-core design.
At this moment this board is in final stage of development, now I work on the softcore Mega/Xmega and RISCv designs and bootloaders firmware.
The user guide can be fond on http://download.devboard.tech/arduFPGA_iCE40UP5K_V1.1/arduFPGA_iCE40UP5K_user-guide.pdf
The repository for all designs and source code can be found on https://devboard.tech/git
The board will be available for purchase from https://store.devboard.tech/home/1-5-ardufpga-ice40up5k-v10.html
A demo video uploaded to youtube: https://www.youtube.com/watch?v=cBjDpW7fP98
The url of the svn repository is: https://opencores.org/websvn/listing/ardufpga_ice40up5k/ardufpga_ice40up5k