A hardware-software contract is needed for software portability, but RISC-V is not yet defined well enough to know what that ...