Re: [PATCH v2 12/40] xen/mpu: introduce helpers for MPU enablement

2023-01-24 Thread Julien Grall
Hi Penny, On 13/01/2023 05:28, Penny Zheng wrote: We need a new helper for Xen to enable MPU in boot-time. The new helper is semantically consistent with the original enable_mmu. If the Background region is enabled, then the MPU uses the default memory map as the Background region for

Re: [PATCH v2 12/40] xen/mpu: introduce helpers for MPU enablement

2023-01-23 Thread Ayan Kumar Halder
Hi Penny, On 13/01/2023 05:28, Penny Zheng wrote: CAUTION: This message has originated from an External Source. Please use proper judgment and caution when opening attachments, clicking links, or responding to this email. We need a new helper for Xen to enable MPU in boot-time. The new

[PATCH v2 12/40] xen/mpu: introduce helpers for MPU enablement

2023-01-12 Thread Penny Zheng
We need a new helper for Xen to enable MPU in boot-time. The new helper is semantically consistent with the original enable_mmu. If the Background region is enabled, then the MPU uses the default memory map as the Background region for generating the memory attributes when MPU is disabled. Since