Yeah, but any news around it is pointless unless I can buy it. Devkit or no. I can’t even find a price, that makes it kind of hard to get enthusiastic.
While the final machines are not yet purchasable, you can buy an off-the-shelf Artix7/Nexys4DDR FPGA development board and run the core on that. This has been supported for several years. Also with 100 devkit machines sold and in people's hands, its definitely not vapour ware.
I agree. Everytime this project gets mentioned somewhere, it turns to be still vaporware.