Looking for some guidance on setting up an FPGA development environment - DevHeads IoT Integration Server