forked from Imagelibrary/rtems
- 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.