gustavonihei opened a new pull request, #6603:
URL: https://github.com/apache/incubator-nuttx/pull/6603

   ## Summary
   
   This PR intends to add Protected Mode support for **ESP32** by relying on 
the **PID Controller** peripheral for implementing isolation between Kernel and 
Userspace.
   
   By working together with the MMU and Static MPUs of the ESP32, the PID 
Controller is able to restrict the application access to peripherals, on-chip 
memories (Internal ROM and Internal SRAM) and off-chip memories (External Flash 
and PSRAM).
   
   ### Note
   - The PID Controller driver is in **EXPERIMENTAL** state, so please consider 
the Protected Mode feature for ESP32 a **Proof-of-Concept**.
   - The PID Controller **does not** prevent the application from accessing CPU 
System Registers.
   
   ## Impact
   ESP32 only, but changes should not affect existing targets running under 
Flat mode.
   
   ## Testing
   `esp32-devkitc:knsh`, successful execution of `ostest` 25 times in a row.
   
   ```bash
   ./tools/configure.sh -E esp32-devkitc:knsh
   make bootloader
   make download ESPTOOL_BINDIR=. ESPTOOL_PORT=<PORT> -j 6
   ```
   
   ## Note
   `make bootloader` is **required** for building a patched IDFboot bootloader 
from source.
   
   


-- 
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-unsubscr...@nuttx.apache.org

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

Reply via email to