Getting to work on debian (64b) and an Alchitry Cu board (iCE 40) : Alchitry is making 'small' developpment boards for FPGA, with a rather open spirit : https://alchitry.com/