Re: [PATCH v4 6/7] xen: introduce Kconfig ARCH_PAGING_MEMPOOL

2025-04-05 Thread Jan Beulich
On 01.04.2025 10:58, Luca Fancellu wrote: > From: Penny Zheng > > ARM MPU system doesn't need to use paging memory pool, as MPU memory > mapping table at most takes only one 4KB page, which is enough to > manage the maximum 255 MPU memory regions, for all EL2 stage 1 > translation and EL1 stage 2

Re: [PATCH v4 6/7] xen: introduce Kconfig ARCH_PAGING_MEMPOOL

2025-04-01 Thread Stefano Stabellini
On Tue, 1 Apr 2025, Luca Fancellu wrote: > From: Penny Zheng > > ARM MPU system doesn't need to use paging memory pool, as MPU memory > mapping table at most takes only one 4KB page, which is enough to > manage the maximum 255 MPU memory regions, for all EL2 stage 1 > translation and EL1 stage 2