Re: How to access VRAM physical address on L4 ?

> All pager's has to "ask" sigma0 for the page. Whether it becomeing the
> performance bottleneck.

On system startup, user-level pager(s) should request the memory they need from sigma0. Thus, once the system is completely up and running, sigma0 has no pages left to give out, and there should be no reason for user-level pagers or other threads to interact with sigma0 any more.
Consequently, the performance of sigma0 is no longer important once the other pagers are running and have acquired their memory.

Cheers,
Philipp