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.