Also might be worthwhile searching for “RISC-V USB WiFi” in a search engine of your choosing. Because if a WiFi USB dongle can be got to work with one RISC-V board, the odds are high that with a bit of effort it can probably work with a different RISC-V board.