diff --git a/doc/01_overview/compliance.rst b/doc/01_overview/compliance.rst index 68750c36..bdb039cd 100644 --- a/doc/01_overview/compliance.rst +++ b/doc/01_overview/compliance.rst @@ -9,7 +9,7 @@ It follows these specifications: Ibex implements the Machine ISA version 1.12. * `RISC-V External Debug Support, version 0.13.2 `_ * `RISC-V Bit-Manipulation Extension, version 1.0.0 `_ and `version 0.93 (draft from January 10, 2021) `_ -* `PMP Enhancements for memory access and execution prevention on Machine mode (Smepmp) version 1.0 https://github.com/riscv/riscv-tee/blob/191b563b08b31cc2974d604a3b670d8666a2e093/Smepmp/Smepmp.pdf>`_ +* `PMP Enhancements for memory access and execution prevention on Machine mode (Smepmp) version 1.0 `_ Many features in the RISC-V specification are optional, and Ibex can be parametrized to enable or disable some of them. diff --git a/doc/03_reference/pmp.rst b/doc/03_reference/pmp.rst index 54a64068..d418cadf 100644 --- a/doc/03_reference/pmp.rst +++ b/doc/03_reference/pmp.rst @@ -3,7 +3,7 @@ Physical Memory Protection (PMP) ================================ -The Physical Memory Protection (PMP) unit implements region-based memory access checking in-accordance with the RISC-V Privileged Specification, version 1.12 and implements the `PMP Enhancements for memory access and execution prevention on Machine mode (Smepmp) version 1.0 https://github.com/riscv/riscv-tee/blob/191b563b08b31cc2974d604a3b670d8666a2e093/Smepmp/Smepmp.pdf>`_ extension. +The Physical Memory Protection (PMP) unit implements region-based memory access checking in-accordance with the RISC-V Privileged Specification, version 1.12 and implements the `PMP Enhancements for memory access and execution prevention on Machine mode (Smepmp) version 1.0 `_ extension. The following configuration parameters are available to control PMP checking: +----------------+---------------+----------------------------------------------------------+ @@ -36,7 +36,7 @@ When the granularity is greater than zero, NA4 mode is not available and will be PMP Enhancements ---------------- -These are described in more detail in `PMP Enhancements for memory access and execution prevention on Machine mode (Smepmp) version 1.0 https://github.com/riscv/riscv-tee/blob/191b563b08b31cc2974d604a3b670d8666a2e093/Smepmp/Smepmp.pdf>`_. +These are described in more detail in `PMP Enhancements for memory access and execution prevention on Machine mode (Smepmp) version 1.0 `_. If Ibex is configured to include PMP (PMPEnable is not zero) the PMP enhancements are always included. Use of the enhanced behavior is optional, if no writes to ``mseccfg`` occur PMP behavior will remain exactly as if Smepmp was not implemented. The enhancements add: