search

riscv / riscv-j-extension

Working Draft of the RISC-V J Extension Specification
https://jira.riscv.org/browse/RVG-128
Creative Commons Attribution 4.0 International
162 stars 17 forks source link

PMLEN=16 with Sv57 #65

Closed jiahzhang closed 7 months ago

jiahzhang commented 7 months ago

Is it allowed for Sv57 to be used with PMLEN=16? The transformed address given in section 2.2 only defines the new effective address in terms of XLEN and PMLEN.

martinmaas commented 7 months ago

Yes, it is allowed if PMLEN=16 is supported by the hardware. However, support for PMLEN=16 is not expected to be mandatory in the profiles, and so it may not be supported on all implementations. The transformation itself is independent of the address translation mode (i.e., Sv57, Sv48, etc.).

jiahzhang commented 7 months ago

Thanks