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