> On 16 Dec 2025, at 09:32, Orzel, Michal <[email protected]> wrote: > > > > On 16/12/2025 10:29, Luca Fancellu wrote: >> Hi Michael, >> >>> On 16 Dec 2025, at 09:26, Orzel, Michal <[email protected]> wrote: >>> >>> >>> >>> On 28/11/2025 10:58, Harry Ramsey wrote: >>>> From: Penny Zheng <[email protected]> >>>> >>>> In MPU systems, we implement map_domain_page()/unmap_domain_page() >>>> through mapping the domain page with a MPU region on demand. >>> What prevents you from implementing the remaining few helpers? >> >> Only the fact that they are not used at this stage, otherwise we would have >> seen >> a panic while running Linux. > Sure but it looks like that they would also be a few-liners hence there is a > feeling that they could all be done in one go for completeness sake.
yeah but we don’t have the confidence it works because we can’t test Cheers, Luca
