Pager in the Fiasco.OC.

Chen Tian chen.tian at acm.org
Wed May 25 02:36:49 CEST 2011


Hello,

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.

Best,
Chen




More information about the l4-hackers mailing list