17 Dec
2010
17 Dec
'10
4:59 p.m.
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?