Seriously, I don't know of any publicly available RISC-V silicon with even an MMU, say nothing of 'desktop' class.