the more the merrier but still looking for a 64bits RISC-V mini-board with tons of GPIO (~30) and USB-C (have some 32bits RISC-V ones, but I would like to code

the more the merrier but still looking for a 64bits RISC-V mini-board with tons of GPIO (~30) and USB-C (have some 32bits RISC-V ones, but I would like to code directly in 64bits RISC-V assembly for both the "mini-board" and the "desktop").