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. Cheers, Luca
