Sweet. I'll monitor this an order a non-gpu version when it comes out. Most of my stuff just needs a serial console.
The phase 1 SoC is all I'm interested in for now. The lowest-size LPDDR4 part I could find is 256MB, which isn't a lot, but enough for what I want to do. Having that RAM, and networking or USB, will be enough for me to buy one. Assuming a reasonable price, of course.
I've been laser focused on RV64, but RV32 is nearly identical. It is a shame the current VexRiscv bitstream for this board doesn't seem to support atomics though.