To the risc-v folks: I am looking for a mini-board with a 64bits RISC-V core, USB-C (power+data), many(~30) available GPIOs, easy to flash or boot from a memory card. That for a keyboard firmware directly written in 64bits risc-v assembly.

The BL808 is actually a 32bits risc-v as a main core with a 64bits risc-v core on the side (convoluted hardware programming from the 64bits risc-v core).

The K210 does not seem to have a USB controller (only a UART<->USB dongle).

Then I am lurking on some mango boards, with a D1, the D1 being completely overkill.

Anything else?