Trechos de este :
Paged and nonpaged pools serve as the memory resources that the operating system and device drivers use to store their data structures.
The kernel and device drivers use nonpaged pool to store data that might be accessed when the system can’t handle page faults.
Memória do kernel é memória alocada / usada pelo próprio sistema operacional, isso inclui o kernel e qualquer driver.
A memória do kernel paginada pode ser gravada em um arquivo de paginação, se houver.
A memória do kernel não-paginada nunca será gravada em um arquivo de paginação. Um "conjunto de memórias não paginadas" é necessário para fornecer memória em situações em que o Windows não pode usar falhas de página, como durante o processamento de interrupções ou chamadas de procedimento adiadas (relacionadas a interrupções).