I am new to L4 microkernels and I am reading the reference manual on
version 2 of the interface. From what I've read so far the manual
suggests that there's more than one pager, but if this is so what
is the purpose of more than one pager?