Variable page size

The virtual memory manager may use variable page sizes if the processor supports them and there's a benefit to doing so.

Using a variable page size can improve performance because:

If you want to disable the variable page size feature, specify the -m~v option to procnto in your buildfile. The -mv option enables it.