Pager in the Fiasco.OC.

Christian Ehrhardt Christian_Ehrhardt at genua.de
Wed May 25 11:13:49 CEST 2011


Hi,

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.

     regards    Christian





More information about the l4-hackers mailing list