[GitHub] [incubator-nuttx] acassis commented on a change in pull request #5322: Mpfs build protected

[GitBox <gi...@apache.org>]

acassis commented on a change in pull request #5322:
URL: https://github.com/apache/incubator-nuttx/pull/5322#discussion_r790707367



##########
File path: arch/risc-v/src/mpfs/mpfs_userspace.c
##########
@@ -192,9 +192,8 @@ static void configure_mpu(void)
   /* Configure the PMP to permit user-space access to its ROM and RAM.
    *
    * Note: PMP by default revokes access, thus if different privilege modes
-   * are in use (mstatus.mprv is set), the the user space _must_ be granted
-   * access here, otherwise an exception will fire when the user space task
-   * is started.
+   * are in use, the the user space _must_ be granted access here, otherwise

Review comment:
       ```suggestion
      * are in use, the user space _must_ be granted access here, otherwise
   ```




-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: commits-unsubscribe@nuttx.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org