On 27/08/2025 19:04, Hari Limaye wrote:
> Hi Michal,
> 
>> And actually, this could be calculated
>> in init_pdx() next to max_page to avoid requiring each arch (arm32, arm64, 
>> mpu)
>> to set it exactly the same.
> 
> I have not implemented this in this series, as it seems like an unrelated 
> change that should go separately. However if you prefer I can re-spin with 
> this change also?
No need, it can be done in the future.

~Michal


Reply via email to