I would have prefered a 64bits RISC-V cpu core, that, to share 64bits RISC-V (I know there is a good "compatibilty" between RISC-V 64bits ISA and 32bits ISA. "c

I would have prefered a 64bits RISC-V cpu core, that, to share 64bits RISC-V (I know there is a good "compatibilty" between RISC-V 64bits ISA and 32bits ISA. "compatibilty"). My thought is: "Write 64bits RISC-V assembly once for all". And it is missing that USB-C connector on the board and the memory card slot for booting code. You'll tell me the pins are there, but then I am worried about the remaining count of usable GPIO pins.