mirror of
https://gitlab.rtems.org/rtems/rtos/rtems.git
synced 2026-11-08 00:40:21 +08:00
- Any page tables need to be flushed if the cache is enabled. Disabling the cache may only be available in secure mode.
- Any page tables need to be flushed if the cache is enabled. Disabling the cache may only be available in secure mode.