On 14/10/2024 19:43, Luca Fancellu wrote:
Hi Ayan,
Hi Luca,
On 10 Oct 2024, at 15:03, Ayan Kumar Halder <[email protected]> wrote:
There are features in the forthcoming patches which are dependent on
MPU. For eg fixed start address.
Also, some of the Xen features (eg STATIC_MEMORY) will be selected
by the MPU configuration.
Thus, this patch introduces a choice between MMU and MPU for the type
of memory management system. By default, MMU is selected.
MPU is now gated by UNSUPPORTED.
Update SUPPORT.md to state that the support for MPU is experimental.
Maybe I’m wrong, but shouldn’t we add this only when MPU is supported?
In this case we are just having the Kconfig setting.
Actually we need this config option for the subsequent patches. I am
assuming 'UNSUPPORTED' also means work in progress or partially supported.
- Ayan
