Hello,
I am trying to understand the memory management and pager implementation in Genode. I am stuck on Rm_client::pager function in rm_session_component.cc. Can somebody explain to me the main idea behind it, especially the reverse_lookup function? I must have missed some important data structures or designs of the memory management in RAM or Rm. Thanks.
Regards,
Chen