And there is one more toy: DE1-SOC. A Cyclone V board with 2 ARM cores and Linux available... so we can combine hardware and software emulation to get a better Amiga...
Do you already own this board ? I had just a look at Terasic Website and it´s not possible to order the DE1-SOC anymore.
May be temporarily unavailable till they produce more stock of the RevC version of the board.
Revision B of the DE1-SoC board has a bug with the JTAG order which creates problems with the DS-5 tool.
See: http://www.terasic.com.tw/cgi-bin/page/ ... wan&No=886
I have one of the revB boards.
It would be (theoretically) possible to mod the RevB board to the revC configuration.
The 0Ohm link resistors are on the top side of the board IIRC.