PageManager object <nucleus/kernel.h>

The PageManager object represents the low-level paging system on a computer. It provides architecture-specific behaviour to the rest of the kernel.