Probably true. Porting rxv64 to RISC-V probably wouldn't be that big of a lift, honestly.