How to run Linux on RISC-V with open hardware and open source FPGA tools