Pager in the Fiasco.OC.

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


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.


More information about the l4-hackers mailing list