For anyone interested in FPGAs, I’d recommend one that can use the excellent open source F4PGA toolchain: https://f4pga.org/

I have an orangecrab board with a lattice FPGA, it’s super cool to be able to run a single makefile and build a riscv cpu and buildroot based linux for it.