Pager in the Fiasco.OC.
Christian_Ehrhardt at genua.de
Wed May 25 11:13:49 CEST 2011
On Tue, May 24, 2011 at 05:36:49PM -0700, Chen Tian wrote:
> After a pager resolves a page fault in user space, I assume the reply
> message, which contains the mapping, should be processed in the kernel
> (e.g., update page table etc.). Am I right? If so, where can I find
> the corresponding implementation? Thanks.
This happens in Thread::transfer_msg_items.
More information about the l4-hackers