Hello,
After the set_pager function of a thread is called through a
cpu_session, the _pager of that thread is set and used when the actual
platform thread starts. But there is only one thread (pager) to resolve
all page faults for all threads. I think the pager mapping happened in
platform_thread::start (platform_thread.cc:40-47). Can somebody please
explain to me the meaning of this l4_task_map call? I suspect that
"_remote_pager_cap" is corresponding to the global pager, but cannot
find any evidence. Thanks a lot.
Best,
Chen
------------------------------------------------------------------------------
EditLive Enterprise is the world's most technically advanced content
authoring tool. Experience the power of Track Changes, Inline Image
Editing and ensure content is compliant with Accessibility Checking.
http://p.sf.net/sfu/ephox-dev2dev
_______________________________________________
Genode-main mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/genode-main
