Kind of a tangent, but unfortunately Microsemi seems not to be shipping any further batches of https://www.crowdsupply.com/microsemi/hifive-unleashed-expan... . For a hardware noob, does anybody know if there's another board that can be substituted to get PCIe/accessories with the same preconfigured setup? I saw Xilinx mentioned at a significantly higher price tag ($3500+) but not sure what sort of work would be required.
