Samuel Holland
Samuel Holland
While implementing pointer masking in Linux, I noticed that there is no way for S-mode to emulate accesses using the U-mode pointer masking configuration, like M-mode can with `mstatus.MPRV`. This...
In section 3, the description of `mttp` includes the sentence "In this case, the remaining fields (`SDID`, `PPN`) in `mttp` must be set to zeros, else generate a fault." This...
* Why are two separate encodings used for `4M_PAGES` and `2M_PAGES`? These can never be used at the same time. * It's not possible to atomically update 32 consecutive MTTL2...
Section 4.1 claims that the MTT can be sparsely populated. However, the MTTL3 entry format (Figure 9) has no type field, which leaves no way to sparsely populate the MTTL3....
When doing a round of review over the BRS specification, we noticed that a few of the SBI requirements seem likely to cause compatibility issues between operating systems and future...
I originally [brought this up in the Hypervisor SIG](https://lists.riscv.org/g/sig-hypervisors/topic/hypervisor_extension_of/111536917), and they suggested it might be in scope here. I've been meaning to write up a more formal proposal, but I...