Sv32 is what every 32-bit RISC-V CPU with an MMU uses. It is a full MMU. You can run Linux on it.
Sure, but what the S31 calls "MMU" is not an Sv32 MMU; therefore my comment.
Sure, but what the S31 calls "MMU" is not an Sv32 MMU; therefore my comment.